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
  • Hector Buffière (2024–present); joint supervision with Patrice Ossona de Mendez
  • 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 (co-chair), of GT-Verif
  • PC member for conferences CSL'26, 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.