Program
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