| Adresse postale |
Laboratoire Bordelais de Recherche en
Informatique
Unité Mixte de Recherche CNRS (UMR 5800) 351, cours de la Libération F-33405 Talence cedex France |
| Téléphone | +33 (0)5-4000-3523 |
| Fax | +33 (0)5-4000-6669 |
| Courriel | salvati/a/labri.fr (/a/=@) |
Je suis actuellement Chargé de Recherche à l'l'INRIA Bordeaux Sud-Ouest où je travaille au sein de l'équipe Signes. Mon travail porte sur un formalisme grammatical fondé sur le λ-calcul et la logique linéaire : les grammaires catégorielles abstraites (www). D'un point de vue plus général, je m'intéresse aux liens entre théorie formelle des langages et théorie de la démonstration. Cela me conduit à donner un éclairage nouveau sur les formalismes grammaticaux.
Sylvain Salvati, On the membership problem for non-linear Abstract Categorial Grammars, to appear in the Journal of Logic, Language and Information [.pdf]
Christian Retoré, Sylvain Salvati A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars to appear in the Journal of Logic, Language and Information [.pdf]
Sylvain Salvati, Recognizability in the Simply Typed Lambda-Calculus Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009 (article invité) [.pdf]
Gregory Kobele, Christian Retoré, Sylvain Salvati, An automata-theoretic approach to Minimalism Workshop on Model Theoretic Syntax (MTS@10), Dublin, Ireland 2007
Makoto Kanazawa, Sylvain Salvati Generating control languages with Abstract Categorial Grammars Proceedings of the 12th conference on Formal Grammar (FG 2007), Dublin, Ireland 2007 [.bib]
Sylvain Salvati On the complexity of Abstract Categorial Grammars, 10th conference on Mathematics of Language (MOL 10), Los Angeles, CA 2007 [.bib]
Sylvain Salvati On the membership problem for Non-linear Abstract Categorial Grammars, Proceedings of the Workshop on New Directions in Type-theoretic Grammars (NDTTG 2007), Dublin, Ireland 43-50 2007 [.bib]
Christian Retoré, Sylvain Salvati, Non-associative Categorial Grammars and Abstract Categorial Grammars, Proceedings of the Workshop on New Directions in Type-theoretic Grammars (NDTTG 2007), Dublin, Ireland 51-58 2007 [.bib]
Sylvain Salvati, Parsing TAG with Abstract Categorial Grammar, TAG+8: Workshop On Tree Adjoining Grammar And Related Formalisms 2006 [.bib]
Sylvain Salvati, Syntactic Descriptions: a Type System for Solving Matching Equations in the Linear λ-Calculus proceedings of the 17th International Conference on Rewriting Techniques and Applications 151-165 2006 [.bib]
Sylvain Salvati, Encoding second order string ACG with Deterministic Tree Walking Transducers, Proc. of FG 2006: the 11th conference on Formal Grammars 143-156 2007 [.bib]
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.
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.
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 (prix du meilleur article de la conférence).
Sylvain Salvati, Problèmes de filtrage et problèmes d'analyse pour les grammaires catégorielles abstraites, thèse de doctorat en informatique de l'Institut National Polytechnique de Lorraine, 2005, thèse encadrée par Philippe de Groote, soutenue le 13 juin 2005 [.pdf].
Sylvain Salvati, Funtalk, formalisation et démonstration, mémoire de DEA en informatique, Institut National Polytechnique de Lorraine, 2001, DEA encadré par Luigi Liquori et co-encadré par Dominique Colnet.
Sylvain Salvati, MIX is a 2-MCFL
Sylvain Salvati, Recognizable sets of simply-typed lambda-terms
Pierre Bourreau, Sylvain Salvati, Unique inhabitance in simply-typed lambda-calculus
Sylvain Salvati, Minimalist Grammars in the light of logic
Makoto Kanazawa, Sylvain Salvati, On the Derivations of Lambek Grammars
Analyseur, optimisateur Datalog. Ce petit programme écrit en Ocaml est pour le moment un prototype qui implémente les techniques proposées pour l'analyse et la génération par Makoto Kanazawa. Ce programme contient un solveur Datalog ainsi que diverses optimisation de programmes Datalog (Magic set rewritting, prefix validator,...) et permet de compiler des grammaires PMCFG vers des programmes Datalog optimisés. La résolution d'une intérogation Datalog de ces programmes correspond à l'analyse. A terme se programme sera intégré au logiciel dédié au grammaires catégorielles abstraites (téléchargement)
2007-... Pierre Bourreau en cours Co-encadrement avec Christian Retoré (Bourse Cordis). Le but de cette thèse est d'approfondir et d'exploiter les résultats de décidabilité pour les grammaires catégorielles abstraites non-lineaires et qui concernent la génération de texte à partir de représentations sémantiques.
2008-2009, co-encadrant avec Christian Retoré du mémoire de master de Arthur Ball, Analyse syntaxique et requêtes Datalog ENSIMAG et INRIA. Ce mémoire avait pour but d'étendre les travaux de (Kanazawa 2008) et de définir un algorithme vérifiant la correction de préfixes pour les grammaire PMCFG.
2007-2008, co-encadrant avec Christian Retoré du mémoire de master de Damien Schlachter Graphes de démonstration pour l’analyse syntaxique, Université Bordeaux 1. Ce mémoire cherchait à intégrer les techiques d'analyse effaces dédiées aux grammaires formelles aux grammaires de type logique par l’intermédiaire des graphes de démonstration.
A l'université Bordeaux I j'ai participé aux travaux dirigés du cours de modèle de calcul de Marc Zeitoun au cours de l'année 2007-2008. Au cours de l'année 2009-2010, j'assure le cours de Master de consacré aux bases de données avancées.
J'ai été ATER dans le département informatique de l'Ecole Nationale Supérieure des Mines de Nancy où je suis intervenu au cours de la formation spécifique de troisième année en bioinformatique.
J'ai été moniteur à l'Université Henri Poincaré-Nancy 1 de 2001 à 2004. J'ai été amené à assurer des travaux dirigés de mathématiques discrètes en DEUG MIAS deuxième année ; des travaux dirigés et des travaux pratiques d'initiation à la programmation avec le langage OCAML en DEUG MIAS première année et en DEUG SM première année ; un cours de HTML et XML en DESS CCI.