Sylvain Schmitz

Assistant professor, ENS Cachan

Research

Keywords
Formal languages, verification, infinite systems, syntax, computational linguistics

Publications

Most recent work:

Ackermann and Primitive-Recursive Bounds with Dickson's Lemma
Joint work with Diego Figueira, Santiago Figueira, and Philippe Schnoebelen on complexity upper bounds derivable from the use of Dickson's Lemma.
On the Computational Complexity of Dominance Links in Grammatical Formalisms
A short survey on the complexity of problems for BVASS and related formalisms, with a special emphasis on linguistic applications. I will present it at ACL 2010.
Forward Analysis and Model Checking for Bounded WSTS
Joint work with Pierre Chambart and Alain Finkel. We identify a recursive subclass of WSTS, for which action-based LTL properties are decidable.

Full BibTeX

More publications...

Talks

ACL 2010, 4:45pm, July 12, 2010, Venue A, Hall IX, Uppsala University, Uppsala, Sweden.
A survey of complexity problems for BVAS.
Séminaire LIFO, 2pm, June 28, 2010, Salle de cours E15, Université d'Orléans, France.
A survey of complexity problems for BVAS. Here are the slides.
CIAA'09, 2pm, July 15, 2009, NICTA's Neville Roach Laboratory, Sydney, Australia.
I presented the paper written with Pierre-Cyrille Héam and Cyril Nicaud on the Random Generation of Deterministic Tree (Walking) Automata. Here are the slides.

More talks...

Other activities

Teaching

Computer Science Department 2009–2010
Practical sessions for the Formal Languages course (course by Paul Gastin).
MPRI 2009–2010
Practical sessions for the initiation to verification course.
Preparation to agregation 2009–2010
Courses in formal languages and automata for the computer science option of the French "agrégation de mathématiques".

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

Conference Deadlines

Export agenda in iCalendar format

Vita

Now working on verification techniques at the LSV, ENS Cachan, in the INFINI axis, and teaching at the computer science department of ENS Cachan.

I was previously at LORIA and worked for a year with Claire Gardent on natural language generation, thanks to an INRIA postdoctoral position. And my short experience as a researcher started with a thesis under the supervision of Jacques Farré at the I3S Laboratory on parsing techniques for programming languages.