Program

Download program in pdf

Monday June 15th

8:30: coffee/tea welcome

  • 9:00 - 10:20
Stuart Margolis: Poset cohomology, Leray numbers and the global dimension of left regular band algebras
John Meakin: Inverse automata, groups, semigroups and topology
  • coffee/tea break
  • 10:50 - 12:10
Jean-Eric Pin: Varieties Of Languages: Kernel, Extensions and Results
Ben Steinberg: Profinite groups in automata and monoid theory: a survey
  • lunch
  • 14:15-15:35
Pedro da Silva: Virtually free speech
Armin Weiss: Conjugacy in Baumslag-Solitar groups
  • coffee/tea break
  • 15:55-17:15
Zoltan Esik: Fixed points and the Krohn-Rhodes decomposition
Marc Zeitoun: The separation problem and some applications
  • break
  • 17:30-18:10
Alfredo da Costa: Syntactic invariants of flow equivalence of shifts
  • 18:15 - 18:30
Volker Diekert: Three score

Tuesday June 16th

  • 9:00 - 10:20
Olga Kharlampovich: Elementary classification questions for algebras and group rings
Alexei Miasnikov: Equations in finitely generated nilpotent groups
  • coffee/tea break
  • 10:50 - 12:10
Bob Gilman: A partial algorithm for verifying automaticity
Mark Sapir: On groups with rapid decay
  • lunch
  • 14:15-15:35
Paul Gastin: Maintaining latest information beyond channel bounds
Manfred Kufleitner: Yet another proof of Parikh’s Theorem
  • coffee/tea break
  • 15:55-17:15
Manfred Droste: Weighted trace automata
Benedikt Bollig: An automata-theoretic approach to the verification of distributed algorithms
  • break
  • 17:30-18:10
K. Narayan Kumar: Bounded reachability analysis for shared memory systems

Wednesday June 17th

  • 9:00 - 10:20
Artur Jez: Finding all solutions of equations in free groups
Géraud Sénizergues: Languages and equations
  • coffee/tea break
  • 10:50 - 12:10
Dietrich Kuske: Linear orders represented by automata
Mikhail Volkov: Primitive digraphs and synchronizing automata
  • Closing