mercredi 10 juin, 2009 19:37
- Proposition de coopération LABRI IMB Modèles géométriques de la logique linéaire.
- Lexique, composition et logique, prospective en sémantique formelle, GDR sémantique et modélisation, réunion du vendredi 13 mars 2009 à Bordeaux.
- Categorial grammars for computing the correspondence between syntax and semantics -- an example of interplay between mathematical logic and computational linguistics Mini cours à Ealing, ENS, septembre 2008. (only this was actually achieved)
- Proofnets, cographs and perfect matchings (Graphes de démonstration, cographes et couplages parfaits). LaBRI, Groupe de Travail Graphes et Applications, 18 janvier 2008.
- Which formal languages for natural languages (Mosaïque last meeting in Arcachon, december 7th 2007)
- Handling logical polysemy within simple type theory. Journées Prélude à Pauillac, 1er novembre 2007.
- Modéliser le langage: La linguistique computationnelle au carrefour de l’informatique, de la linguistique, des sciences cognitives et des outils pour l’Internet (avec un aparté sur l'étude formelle de la langue des signes française) Conférence à l'Université ouverte de Cergy-Pontoise
- On the trees underlying natural language sentences, Colloquium in honor of Gérard Huet, June 22nd -23rd, Paris.
- Perfect matchings and directed cographs: proofnets for pomset logic and the origins of deep inference, Theory and Application of Deep Inference, June 21st, Palaiseau.
- SIides from the Geometry and computation (GEOCAL 06) , session on Logic and linguistics Marseille, Februrary 2006
- Habilitation à Diriger des Recherches: Logique linéaire et syntaxe des
langues soutenue le 4 janvier 2002 (Président: A. Dikovsky ,
Rapporteurs: G. Huet, J. Lambek, M. Moortgat, Examinateurs: C. Gardent,
G. Kahn, J.-X. Rampon, O. Ridoux)Version
d'avril 2002 PDF - A4 paper ou PDF - letter paper Slides from
the defense for viewing or for printing(thanks to Michael Moortgat for providing the pdflatex package)