Sylvain Schmitz Professeur d'informatique, Université Paris Cité Membre junior de l'IUF Membre de l'IRIF au sein des équipes automates et applications et modélisation et vérification adresse IRIF, casier 7014 Université Paris Cité 75205 Paris Cedex 13, France bureau 3048 téléphone +33 (0)1 57 27 92 16 email sylvain.schmitz@irif.fr Recherche centres d'intérêt logique, beaux pré-ordres, vérification, langages formels, théorie des bases de données exposés publications () doctorants Aliaume Lopez (2019–); co-encadré avec Jean Goubault-Larrecq Anthony Lick (2016–2019) ; co-encadré avec David Baelde ; soutenance le 8 juillet 2019 Simon Halfon (2015–2018) ; co-encadré avec Philippe Schnoebelen; soutenance le 29 juin 2018 principaux financements IUF junior (2018–2023) ANR BraVAS (2017–2020) ANR PRODAQ (2015–2019) ANR ReacHard (2011–2014) ANR AVeriSS (2007–2009) activités comités de pilotage de STACS, du GT-Verif comité éditorial de Information Processing Letters comités de programme des conférences LICS'22, RP'20 (co-chair), MFCS'20, MOVEP'20, NAACL-HLT'19 (theory and formalisms), LICS'18, Petri nets'17, STACS'17, et des ateliers RP'15, RP'12, CSLP'12, LDTA'12, LDTA'11, TAG+10, TAG+9 comités d'organisation de ICALP'22, RP'20 (chair), Highlights 2014 (co-chair), GT-Vérif 2014, GT-Vérif 2013 (co-chair), CIAA'05 Enseignements Licence d'informatique cours de logique de 3e année Master d'informatique travaux dirigés de bases de données avancées en 1e année agrégation d'informatique cours de logique ; leçons Voici du contenu pédagogique des années précédentes.