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
- Jeudi 28 novembre 2013
- 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
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.
- Mardi 21 mai 2013
- 14h30 Igor Walukiewicz: Transfer theorem.
- 15h30 Jean-Éric Pin: Fonctions séquentielles et produit en couronne.
- 17h00 Réunion du comité de pilotage de FREC.
- Mercredi 22 mai 2013
- 09h00 Charles Paperman: FO2 et linéaire AC0.
- 10h00 Luc Dartois: Prédicats modulaires et lm-variété MOD.
- 11h30 Arthur Milchior: Algorithme en temps polynomial pour décider si l'ensemble de tuples de nombres lus par un automate est définissable dans FO[<,mod].
- Jeudi 23 mai 2013
- 09h00 Mai Gehrke: Calculs d'espaces duaux.
- 10h00 Sylvain Salvati: Model checking of higher-order programs and denotational semantics of lambda-calculus.
- 11h30 Edon Kelmendi: Leaktight and simple probabilistic automata.
- 14h00 Lorijn van Rooijen / Marc Zeitoun: Separating regular languages by piecewise testable languages.
- 15h00 Michael Färber: Preuves d'équivalences de grammaires simples déterministes.
- Vendredi 24 mai 2013
- 09h00 Thomas Colcombet: Magnitude Monadic Logic.
- 11h00 Pascal Weil: Propriétés asymptotiques des sous-groupes du groupe libre.
- 12h30 ClĂ´ture.
Topology and Informatics Days, LIAFA, March 21-22 2013
Task 3 meeting, LIGM, January 24th-25th 2013
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.
- Lundi 4 juin.
- 10h-10h45: Olivier Carton: Logique du 1er ordre sur les ordres dispersés.
- 11h15-12h: Jorge Almeida Irreductibilité des pseudovariétés de semigroupes.
- 14h-14h45: Pascal Weil Sous-groupes des groupes libres: finite-index extensions.
- 15h15-16h Pedro Silva Automates finis pour les graphes de Schreier des groupes virtuellement finis.
- 16h-16h45 Discussion libre sur le thème "groupes et automates" et "topologies pro-groupes".
- Mardi 5 juin.
- 9h-9h45 Laure Daviaud et Charles Paperman: Exemples d'Ă©quations profinies.
- 10h-10h45 Luc Dartois: QDA = FO^2[<, MOD].
- 11h15-12h Denis Kuperberg: Logiques de coût sur mots infinis.
- 14h-14h45 Jean-Eric Pin: Espaces de Pervin.
- 15h-15h45 Olivier Carton: Transducteurs bi-directionnels.
- 16h15-17h Mai Gehrke: Algèbres topologiques vues comme espaces duaux.
- Mercredi 6 juin.
- 9h-9h45 Laure Daviaud: Automates de distance et fonctions de coût.
- 10h-10h45 Charles Paperman: Langages rationnels et prédicats numériques arbitraires.
- 11h15-12h Hugo Gimbert: Le monoĂŻde de Markov.
- 14h B. Srivathsan, Soutenance de thèse Vérification efficace d'automates temporisés.
- Jeudi 7 juin.
- 9h-9h45 Yann Péquignot: Uniformités de Pervin sur des ensembles bien quasi-ordonnés.
- 10h-10h45 David Janin: Sur les langages de tuiles (vers une théorie de la quasi-reconnaissabilité).
- 11h30-12h30 Praveen M., Groupe de travail MVTSI, Parameterized Complexity of some Petri Net Problems.
Workshop ACG@10, LaBRI, December 7th-9th 2011
Task 3 meeting, LaBRI, December 5th-6th 2011
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.
- Lundi 9 mai
- 14h-15h Jean-Eric Pin: Equations profinies
- 15h-16h Laure Daviaud et Charles Paperman: Exemples d'Ă©quations profinies
- 16h-17h Mario Branco: Equations de Pol L
- Mardi 10 mai
- 9h - 10h 30 Olivier Carton: Langages de mots sur les ordres linéaires I
- 10h 30 - 12h Thomas Colcombet: Langages de mots sur les ordres linéaires II
- 12h-14h Réunion du comité de pilotage de FREC
- 16h-17h Manfred Kufleitner: A new and simple proof of SchĂĽtzenberger's Theorem for star-free languages
- 17h-18h Pascal Weil: On logical hierarchies within FO^2-definable languages
- 18h-18h40 Denis Kuperberg: Comment compter avec LTL
- Mercredi 11 mai
- 9h - 10h Hugo Gimbert: Le monoĂŻde Markovien
- 10h - 11h Yann Pequignot: Dualité de Stone
- 11h - 12h Luc Dartois: Hiérarchies booléennes
- 14h -15h Géraud Sénizergues: Semi-groupoïdes de langages préfixes
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
- Monday, october 4th.
- 14h00 Pascal Weil: Opening, general presentation.
- 14h45 Discussion sur les budgets, recrutements, calendrier.
- 16h15 Jean-Éric Pin: Algebraic and topological tools.
- Tuesday, october 5th
- 10h00 Igor Walukiewicz: Algebraic theory of recognizable tree languages.
- 11h00 Jean-Éric Pin: seminaire. La notion abstraite de reconnaissance: algèbre, logique et topologie (joint work with M. Gehrke and S. Grigorieff)
- 14h00 Thomas Colcombet: Cost automata: beyond recognizability.
- 16h00 Sylvain Salvati/Igor Walukiewicz: Recognizable sets of lambda-terms.