Workshop Quantifier alternation hierarchy (tâche 5), Sainte-Marie-de-Ré, 26/10/2014–1/11/2014.

L'objectif de cette rencontre était de détailler les preuves concernant le problème de séparation pour les premiers niveaux d'alternance de quantificateurs et l'application à des problèmes de décision sur des niveaux supérieurs: algorithmes de séparation pour Σ2 et Σ3, et algorithmes de décision pour BΣ2, Σ3 et Σ4.

Participants: Jorge Almeida, Thomas Colcombet, Charles Paperman, Jean-Éric Pin, Thomas Place, Howard Straubing, Pascal Weil, Marc Zeitoun.


FREC Final Conference, 28/04/2014-30/04/2014, CIRM, Luminy. Conference site.


Workshop Separation Problems (tâche 5), LaBRI, Bordeaux, 27–30/11 2013.

Le problème de sĂ©paration de langages a reçu rĂ©cemment une attention particulière. L'objectif de ce workshop proche d’un groupe de travail Ă©tait de susciter nouvelles idĂ©es et collaborations autour de ce thème.

Participants: Olivier Carton, Wojciech Czerwiński, Luc Dartois, Olivier Gauwin, Tomáš Masopust, Anca Muscholl, Charles Paperman, Jean-Éric Pin, Thomas Place, Gabriele Puppis, Lorijn van Rooijen, Igor Walukiewicz, Pascal Weil, Marc Zeitoun.

  • Mercredi 27 novembre 2013
    • 10h30-12h. Marc Zeitoun: The separation problem for regular languages and profinite semigroups. Slides.
    • 14h-15h30. Thomas Place: Separation and First-Order Logic. Slides.
    • 16h-17h. Jean-Éric Pin: The separation problem for groups Abstract.
  • Jeudi 28 novembre 2013
    • 10h-11h. Jean-Éric Pin: The separation problem for groups (2). Abstract.
    • 14h-17h. Pascal Weil: Separation for p-groups and nilpotent groups. Abstract.
  • Vendredi 29 novembre 2013
    • 10h-11h30. Wojciech CzerwiĹ„ski: The zigzag technique.
    • 14h-15h. Lorijn van Rooijen: A proof of PTIME decidability for separation by piecewise testable languages
    • 15h30 Charles Paperman: Semidirect product and separation (introduction). Abstract.
    • 17h-19h. Discussion on open problems.
  • Samedi 30 novembre 2013
    • 10h-11h15. Luc Dartois: Semidirect product and separation (deciding logics with modulo quantifiers). Abstract.
    • 11h-12h15. Marc Zeitoun: Separation by locally testable and locally threshold testable languages.
    • 12h30. ClĂ´ture du workshop.

Highlights of Logic, Games and Automata, Paris, 18–21 Septembre 2013

Conference website


Workshop de mi-parcours, Ile de Ré, 21/5–24/5 2013

Participants: Olivier Carton, Lorenzo Clemente, Thomas Colcombet, Luc Dartois, Laure Daviaud, Michael Färber, Mai Gehrke, Olivier Gauwin, Hugo Gimbert, Edon Kelmendi, Arthur Milchior, Charles Paperman, Thomas Place, Gabriele Puppis, Jean-Eric Pin, Sylvain Salvati, Géraud Sénizergues, Sam van Gool, Igor Walukiewicz, Pascal Weil, Marc Zeitoun.


Topology and Informatics Days, LIAFA, March 21-22 2013

meeting website


Task 3 meeting, LIGM, January 24th-25th 2013

meeting website


Réunion et workshop des tâches 4 & 5, LaBRI, 4 au 7 juin 2012.

Participants: Jorge Almeida, Laurent Braud, Olivier Carton, Luc Dartois, Laure Daviaud, Mai Gehrke, Olivier Gauwin, Hugo Gimbert, David Janin, Denis Kuperberg, Jérôme Leroux, Anca Muscholl, Charles Paperman, Gabriele Puppis, Yann Pequignot, Jean-Eric Pin, Sylvain Salvati, Géraud Sénizergues, Pedro Ventura Silva, B. Srivathsan, Sam van Gool, Lorijn van Rooijen, Michał Skrzypczak, Aymeric Vincent, Igor Walukiewicz, Pascal Weil, Zhilin Wu, Marc Zeitoun.


Workshop ACG@10, LaBRI, December 7th-9th 2011

workshop website


Task 3 meeting, LaBRI, December 5th-6th 2011

meeting website


Réunion de la tâche 5, Les Grenettes, 9 au 11 mai 2011.

Participants: Mario Joao Jesus Branco, Olivier Carton, Thomas Colcombet, Luc Dartois, Laure Daviaud, Pierre-Cyrille HĂ©am, Manfred Kufleitner, Denis Kuperberg, Anca Muscholl, Charles Paperman, Yann Pequignot, Jean-Eric Pin, Sylvain Salvati, GĂ©raud SĂ©nizergues, Pedro Ventura Silva, Balaguru Srivathsan, Igor Walukiewicz, Pascal Weil, Marc Zeitoun.


Kickoff meeting, Bordeaux, 4 & 5 october 2010.

Olivier Carton, Thomas Colcombet, Pierre-Cyril HĂ©am, Jean-Eric Pin, GĂ©raud SĂ©nizergues, Igor Walukiewicz, Pascal Weil, Marc Zeitoun