Sylvain Schmitz Professor of computer science, Université Paris Cité Junior member of IUF 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; upcoming talks: no upcoming talks scheduled publications (); latest: Klara Nosan, Amaury Pouly, Sylvain Schmitz, Mahsa Shirmohammadi, and James Worrell. On the computation of the Zariski closure of finitely generated groups of matrices. In ISSAC'22, pages 129–138. ACM, 2022. 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 Editor of Information Processing Letters PC member for conferences 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 2nd year introduction to logic course 3rd year logic course Master of computer science 1st year advanced automata and applications 1st year advanced databases tutorials Bachelor of mathematics 3rd year databases tutorials Preparation to agregation logic course; lessons Here is some course material from previous years.