Present at the HCRW 2025 (September 8-12, Saarbrücken)
Present at Highlights 2025 (September 1-5, Saarbrücken)
Invited speaker at MFCS 2025 (August 25-29, Warsaw)
Invited speaker at the Logic Colloquium 2025 (July 7-11, Vienna)
Present at FMT 2025 (May 25-30, Les Houches)
Present at the Dagstuhl seminar on Categories for Automata and Language Theory (March 30-April 4, 2025, Dagstuhl)
Presenting at CSL 2025 (February 11-14, Amsterdam)
CALCO 2023 (PC member, after checking that remote presentation for papers was possible)
ICALP 2023 (PC member)
ICLA 2023 (PC member)
FoSSaCS 2023 (PC member)
Becoming deputy director of IRIF.
Invited speaker at CIRM’s research week discrete mathematics and logic 2023 (Paris)
Invited speaker at workshop DaLFI (Paris)
Organizer of ICALP 2022 in Paris (and paper with Antonio Casares and Karoliina Lehtinen)
Stop being group leader of the automata team (replaced by Sylvain Schmitz).
MFCS 2022 (paper with Arthur Jaquard)
FoSSaCS 2022 (paper with Sam van Gool and Rémi Morvan)
Jury member of Arnaud Sangnier’s habilitation thesis.
PC member of LICS 2022,
Automatically become member of the steering committee of ICALP.
Now SC chair for the highlights conference,
Jury member of Pierre Ohlmann’s PhD thesis,
Member of the Committee for the 2022 Alonzo Church Award,
Elected member of the EATCS council,
Organizer with Karin Quaas and Michał Skrzypczak of the Dagstuhl seminar 21452 “unambiguity in automata theory”,
Organizer of the TFCS semester at the Simons institute in Berkeley, that was in the end online,
PC member of FSTTCS 2021,
PC member of Gandalf 2021.
Best paper at Icalp 2020 together with David Barozzini, Lorenzo Clemente, Thomas Colcombet and Paweł Parys.
PC chair of Highlights 2020
PC member of MFCS 2020
Launching with Hugo Férée, Thomas Schwentick and Antoine Amarili the TCS4F initiative.
Invited speaker at FoSSaCS 2019.
PC of Icalp 2019.
PC member of DLT 2018.
Group leader of the automata team
Invited lecturer at the Institut d’Automne en Intelligence Artificielle
Invited speaker at Lics 2017.
Invited speaker at Fct 2017.
Invited speaker at a special session of CiE 2017 on Formal Languages and Automata Theory.
Invited speaker at two satellites of Icalp 2017 (separation problem and in honor of Damian Niwiński).
Member of the Program Committee of Highlights 2017.
Member of the Program Committee of Gandalf 2017.
Membre du CE40 de l’ANR.
new reviewer of the Bulletin of Symbolic Logic
Long-term participant of the Logical Structures in Computation program at Simons Insitute (Berkeley, August 17-December 14, 2016),
Invited speaker at the Conference dedicated to the scientific legacy of Marcel-Paul Schützenberger (Bordeaux, Mars 21-25 2016)
Becoming ‘directeur de recherche’ of the cnrs
PC Member of the International Workshop on Fixed Points in Computer Science (FICS 2015)
PC Member of the conference FSTTCS 2015 (16-18 December 2015, Bangalore),
PC Member of the conference FoSSaCS 2015 (11-18 April 2015, London),
Editor of the special edition with Andrew Pitts and Daniele Varacca.
PC Member of the conference FCT 2015 (17-19 August 2015, Gdansk),
PC Member of the conference Highlights 2015 (15-18 September 2015)
Invited speaker at the conference Highlights 2015 (15-18 September 2015)
Invited speaker at the workshop on Automata, Concurrency and Timed Systems (ACTS) at Chennai Mathematical Institute (CMI) (9-13 February, 2015),
Invited speaker at the conference AutoMathA! Recent jewels of automata theory and related mathematical fields (6-9 May 2015, Leipzig),
New member of the steering committee of Stacs,
Invited speaker of the national days of GT ALGA,
Invited speaker at Dcfs 2015 (June 25-27, Waterloo, Canada).
PC Member of the conference Highlights 2014 (September 2-5, Paris)
Invited speaker at Infinity 2014, “16th International Workshop on Verification of Infinite-State Systems”, (December 18, Delhi)
Organising the conference Highlights 2013 (September 18th-21th, Paris).
Invited Speaker at CSR 2013 (June 25-29, Ekaterinburg).
Invited Speaker at TbiLLC’13 (September 23-27, Tbilisi).
PC member of MFCS 2013 (August 26-30, Vienna).
PC Member of FSTTCS 2012 (December 15th-17th, Hyderabad).
Invited Speaker at GAMES 2012 (September 7th-12th, Napoli).
Invited Speaker at the Workshop Bruno Courcelle, (June 18th-20th, Bordeaux).
Participation to the FMT 2012, (May 14th-18th, Les Houches).
Invited Speaker at STACS 2012 (February 29-March 3, Paris).
Invited speaker at the Journée du groupe de travail SDA2 (June 20-22, Caen).
Organising the Annual Workshop of the ESF Networking Programme on Games for Design and Verification (August 31-September 3, Paris).
Invited speaker at GandALF 2011 (June 15-17, Minori).
Invited speaker at GAMES-EPIT Spring School 2011 (May 23-27, Carcans-Maubuisson).
Invited speaker at LATA 2011 (May 30-June 1, Tarragona).
Invited speaker at the 2011 annual workshop of the Swiss Society for Logic and Philosophy of Science (the Posterity of Buchi) (March 31-April 1, Lausanne).
Invited speaker at the Dagstuhl seminar on Advances and Applications of Automata on Words and Trees (Germany).
Invited speaker at the Annual Workshop of the ESF Networking Programme on Games for Design and Verification (Oxford).
Invited speaker at the Journées Nationales d’Informatique Mathématique 2010 (Paris).
PC member of STACS10 (4-6 of Mars 2010, Nancy, France).
PC member of GandALF 2010 (12-17 of june 2010, Minori, Amalfi Coast, Italy).
Organiser of the workshop Automata and Algorithmic Logic (28-29th of June 2009, Stuttgart, Germany).
Organiser of the workshop on distance automata and generalisations, (16t-18th of November 2009, Paris).
PC member of MFCS 09 (24-28 August 2009, Novy Smokovec, High Tatras, Slovakia).
PC member of Infinity 2007, Lisbon, Portugal, September 8, 2007.