Sylvain Schmitz

Assistant professor

Habilitation Defense

I defended my habilitation thesis titled Algorithmic Complexity of Well-Quasi-Orders on

Date
Monday, November 27 2017 at 02:00pm
Place
Daniel Chemla amphitheater (Institut d'Alembert)
Speaker
Sylvain Schmitz

Research

Keywords
Verification, infinite systems, well quasi orders, formal languages, parsing, computational linguistics

Recent Publications

D. Baelde, A. Lick and S. SchmitzDecidable XPath Fragments in the Real WorldIn PODS'19. ACM Press, June 2019. To appear. Web page | BibTeX )
D. Baelde, A. Lick and S. SchmitzA Hypersequent Calculus with Clusters for Tense Logic over OrdinalsIn FSTTCS'18, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, December 2018. To appear. Web page | BibTeX )
D. Baelde, A. Lick and S. SchmitzA Hypersequent Calculus with Clusters for Linear FramesIn AiML'18, pages 36-55. College Publications, August 2018. Web page | BibTeX )
B. Bérard, S. Haar, S. Schmitz and S. SchwoonThe Complexity of Diagnosability and Opacity Verification for Petri NetsFundamenta Informaticae 161(4), pages 317-349, 2018. Web page | BibTeX )
S. SchmitzAlgorithmic Complexity of Well-Quasi-Orders.  Mémoire d'habilitation, École Normale Supérieure Paris-Saclay, France, November 2017. Web page | BibTeX )

Full BibTeX

More publications...

Other activities

Teaching (2018–2019)

MPRI, Paris
First half of the logical and computational structures for linguistic modelling lectures.
Tree automata, techniques and applications lectures.
Computer science option of the French "agrégation de mathématiques", ENS Paris-Saclay
First half of the lectures in logic.

Further documents and course pages related to my older teaching activities can be found in my teaching activities page.

About LSV

Contact

Export in vCard format

Sylvain Schmitz
Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
RH-B-102
Phone
+33 (0)1 47 40 75 42
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
Sylvain.Schmitz@lsv.ens-cachan.fr

Funding