program-v4.2-a5

Full program in PDF



Monday 11 September

8:15-8:50    Welcome Coffee and Registration

8:50-9:00    Conference Opening

9:00-10:00   Invited Talk: Anca Muscholl (Bordeaux)   (Chair: Marc Zeitoun)

              A Tour of Recent Results on Word Transducers.

10:00-10:20  Coffee break

10:20-12:00  Automata & Logic   (Chair: Jérôme Leroux)

12:00-13:40  Lunch (in building "Haut-Carré", room "Badiane")

13:40-14:40  Invited Talk: Martin Dietzfelbinger (Ilmenau)   (Chair: Jyrki Katajainen)

              Optimal Dual-Pivot Quicksort: Exact Comparison Count.

14:40-15:30  Routing Algorithms   (Chair: Jyrki Katajainen)

15:30-15:50  Coffee break

15:50-17:05  Algorithms   (Chair: Aris Pagourtzis)

17:05-17:15  Short pause

17:15-18:05  Formal Languages   (Chair: Holger Petersen)

18:05-18:30  Business Meeting

18:45-19:00  Conference Picture

19:00-21:00  Welcome Cocktail, Salle Badiane, Haut-Carré (cross the street behind the lab building).



Tuesday 12 September

8:30-9:00   Welcome Coffee

9:00-10:00  Invited Talk: Jean-Éric Pin (Paris). Talk in memory of Zoltán Ésik   (Chair: Pascal Weil)

              Some Results of Zoltán Ésik on Regular Languages.

10:00-10:20  Coffee break

10:20-12:00  Models of Computation & Complexity   (Chair: Hugo Gimbert)

12:00-13:40  Lunch (in building "Haut-Carré", room "Badiane")

13:40-14:40  Invited talk: Juraj Hromkovič (Zürich)   (Chair: Ralf Klasing)

              What One Has to Know when Attacking P vs. NP.

14:40-15:30  Best Papers   (Chair: Ralf Klasing)

15:30-15:50  Coffee break

15:50-17:05  Graph Algorithms   (Chair: Marthe Bonamy)

18:30-23:00 Social event and banquet (Map)

Wednesday 13 September

8:30-9:00   Welcome Coffee

9:00-10:00  Invited Talk: Thomas Colcombet (Paris)   (Chair: Marc Zeitoun)

              Automata and Program Analysis.

10:00-10:25  Tropical Algebra   (Chair: Marc Zeitoun)

10:25-10:45  Coffee break

10:45-12:25  Quantum Computation & Boolean Functions   (Chair: Cyril Gavoille)

12:25-14:05  Lunch (in building "Haut-Carré", room "Badiane")

14:05-15:45  Distributed Algorithms & Mobile Agents   (Chair: Arnaud Casteigts)

15:45-16:00  Conference closing and Coffee