Sylvain Schmitz Professeur d'informatique, Université Paris Cité Membre junior de l'IUF Membre de l'IRIF ; responsable de l'équipe automates et applications et membre de l'équipe 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–2023); co-encadré avec Jean Goubault-Larrecq ; soutenance le 12 septembre 2023 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 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, 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/travaux dirigés d'outils logiques de 2e année cours de logique de 3e année Master d'informatique cours et travaux dirigés d'automates avancés et applications en 1e année travaux dirigés de bases de données avancées en 1e année Licence de mathématiques travaux dirigés de bases de données en 3e année Préparation à l'agrégation d'informatique cours de logique ; leçons Voici du contenu pédagogique des années précédentes.