Logic and Linguistics

Marseille - Luminy
February 13 - 17, 2006


Preliminary programme

Monday 13 (Annexe CIRM-CNRS)

9h - 10h30 Christian Rétoré Exposé introductif
10h30 - 11h Coffee break
11h - 12h30 A. Lecomte Peut-on parler d'une logique de la langue ?

12h30 - 14h Lunch

14h - 15h Mickael Moortgat Lambek calculus with Grishin interactions
15h - 16h Aarne Ranta Parametrized Grammar Modules for Romance Languages
16h - 16h30 Coffee break
16h30 - 17h30 Philippe De Groote Abstract Categorial Grammars: definition and formal properties

Tuesday 14 (Salle de conférences du CIRM)

14h - 15h Reinhard Muskens Abstract syntax, concrete syntax, semantics, and natural langage
15 - 16h Max Kanovich Lambek Calculus and its generalizations: Expressiveness, Complexity
16h - 16h30 Coffee break
16h30 - 17h30 Alain Lecomte How to use primitives of Linear Logic to modelize linguistic phenomena like anaphora and ellipis?
17h30 - 18h30 Michele Abrusci Remarks on relationships between logic and linguistics

Wednesday 15 (Salle de conférences du CIRM)

9h - 10h Philippe Blache Beyond generative grammar : the role of constraints toward description grammars
10h - 11h Anne Abeillé Can we model coordinations (or not )?
11h - 11h30 Coffee break
11h30 - 12h30 Christian Rétoré TBA
12h30 - 14h Lunch
Afternoon Excursion
Don't forget your shoes for hiking in the calanques

Thursday 16 (Salle de conférences du CIRM)

Guy Perrier Interaction Grammars and their implementation
15h30 - 16h Coffee break
16h - 17h Denis Bechet Parsing Lambek calculus using partial composition
Patrick Thevenon Typage principal avec deux flèches

Friday 17 (Annexe CIRM-CNRS)

9h - 10h Claudia Casadio Non commutative linear logic vs. pregroup grammar
10 - 10h45 Anne Preller Compact 2-categories, a semantical interface for Natural Language Processing
10h45 - 11h15 Coffee break
11h15 - 12h Gabriele Pulcini Permutative Logic
12h30 - 14h Lunch