.
|
|
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 |