Version française

Sylvain Salvati

Personnal data

Postal address National Institute of Informatics
National Center of Sciences
2-1-2 Hitotsubashi, Chiyoda-ku,
Tokyo 101-8430,
JAPAN
Telephon +81 (0)3-4212-2664
Fax+81 (0)3-3556-1916
Email salvati/a/nii.ac.jp (/a/=@)

At the moment I am post-doc at the National Institute of Informatics in Tokyo where I work with Makoto Kanazawa. My research activity is mainly concerned with a grammatical formalism based on λ-calculus and linear logic: Abstract Categorial Grammars (www).

Research activities

Publications in conferences

  1. Philippe de Groote, Sylvain Salvati, Higher-order Matching in the Linear λ-calculus with Pairing, Proc. of the 13th Conference, CSL 2004, LNCS 3210, pages 220-234, 2004.

  2. Philippe de Groote, Bruno Guillaume, Sylvain Salvati, Vertor Addition Tree Automata, Proc. of the 19th Symp. on Logic in Computer Sience, pages 64-73, 2004.

  3. Philippe de Groote, Sylvain Salvati, On the complexity of higher-order matching in the linear λ-calculus, Rewriting Techniques and Applications, 14th International Conference, RTA 2003, LNCS 2706, pages 234-245, 2003 (best paper award).

Academic publications

  1. Sylvain Salvati, Problèmes de filtrage et problèmes d'analyse pour les grammaires catégorielles abstraites, PhD in computer sciences from the Institut National Polytechnique de Lorraine, 2005, Philippe de Groote supervised my PhD that I defended the 13th of june 2005 [.pdf].

  2. Sylvain Salvati, Funtalk, formalisation et démonstration, master's thesis in computer sciences , Institut National Polytechnique de Lorraine, 2001, Luigi Liquori and Dominique Colnet supervised my master's.

Recent talks

  1. Type systems for syntax, Workshop at Keio university march 2006 [.pdf]

  2. Encoding second order string ACGs with deterministic tree walking transducers, Second Workshop on Lambda Calculus and Formal Grammar, february 2006, [.pdf].

  3. Syntactic descriptions: type systems to solve higher order matching equations, NII's workshop on type theory, january 2006, [.pdf].

  4. Linear matching in the linear λ-calculus: complexity insights and practical algorithms, NII logic seminar, november 2005, [.pdf].

Work in progress

  1. Sylvain Salvati, Syntactic descriptions: a type system for solving matching equations in the linear λ-calculus, submitted to RTA 2006 [.pdf]

  2. Sylvain Salvati, Encoding second order string ACG with Deterministic Tree Walking Transducers. accepted at Formal Grammars 2006

  3. Sylvain Salvati, Parsing TAG with Abstract Categorial Grammar, accepted at TAG+8

Version française