Sylvain Schmitz Professor of computer science, Université Paris Cité Works at IRIF; head of the automata and applications team and member of the modelling and verification team address IRIF, case 7014 Université Paris Cité 75205 Paris Cedex 13, France office 3048 phone +33 (0)1 57 27 92 16 email sylvain.schmitz@irif.fr Research keywords logic, well quasi orders, verification, formal languages, database theory talks publications (); latest: Sylvain Schmitz and Lia Schütze. On the length of strongly monotone descending chains over ℕᵈ. In ICALP'24, LIPIcs 297, pages 153:1–153:19. LZI, 2024. Ashwani Anand, Sylvain Schmitz, Lia Schütze, and Georg Zetzsche. Verifying unboundedness via amalgamation. In LICS'24. ACM Press, 2024. PhD students Aliaume Lopez (2019–2023); joint supervision with Jean Goubault-Larrecq; defended on September 12, 2023 Anthony Lick (2016–2019); joint supervision with David Baelde; defended on July 8, 2019 Simon Halfon (2015–2018); joint supervision with Philippe Schnoebelen; defended on June 29, 2018 main funding IUF junior (2018–2023) ANR BraVAS (2017–2022) ANR PRODAQ (2015–2019) ANR ReacHard (2011–2014) ANR AVeriSS (2007–2009) activities Steering committee of STACS, of GT-Verif PC member for conferences CSL'25 (co-chair), FSCD'24, LICS'22, RP'20 (co-chair), MFCS'20, MOVEP'20, NAACL-HLT'19 (theory and formalisms), LICS'18, Petri nets'17, STACS'17, and workshops RP'15, RP'12, CSLP'12, LDTA'12, LDTA'11, TAG+10, TAG+9 organising committees of ICALP'22, RP'20 (chair), Highlights 2014 (co-chair), GT-Vérif 2014, GT-Vérif 2013 (co-chair), CIAA'05 Teaching Bachelor of computer science 1st year internet and tools tutorials 3rd year logic lectures Parisian Master of Research in Computer Science (MPRI) 2nd year Algorithmic Aspects of WQO Theory lectures Master in Mathematical Logic and Foundations of Computer Science (LMFI) 2nd year Model-checking Finite Structures lectures Preparation to agregation logic lectures; lessons Here is some course material from previous years.