.
|
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) |
|
14h30-15h30 |
Guy Perrier | Interaction Grammars and their implementation |
15h30 - 16h | Coffee break | |
16h - 17h | Denis Bechet | Parsing Lambek calculus using partial composition |
17h-17h30 |
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 |