7th workshop on lambda calculus and formal grammars
Presentation
This workshop is the seventh edition of a series of
informal workshops initiated by Makoto Kanazawa. This
series is mostly concerned with formalisms independently defined by Reinhard Muskens and
Philippe de Groote: lambda grammars
or abstract categorial grammars. This workshop more particularly
focuses on:
- the connections of these formalisms with formal
language theory, type theory and logic
- the models of natural
languages these formalisms propose
Date and Place
The workshop will be held at LaBRI in
room 76, on Wednesday March the 11th.
Speakers
Pierre Bourreau, INRIA Bordeaux Sud-Ouest/LaBRI
Philippe de Groote, INRIA Nancy - Grand-Est
Makoto Kanazawa, National Institute of Informatics
(Tokyo)
Richard Moot, CNRS/LaBRI
Sylvain Pogodalla, INRIA Nancy - Grand-Est
Florent Pompigne, ENS Cachan/INRIA Nancy - Grand-Est
Sylvain Salvati, INRIA Bordeaux Sud-Ouest/LaBRI
Géraud Sénizergues, Université de
Bordeaux/LaBRI
Program
This program is subject to change
9:50 | Opening remarks |
10:00 | Philippe de Groote: TBA |
10:40 | Sylvain Pogodalla: What do Convergent Grammars and
Abstract Categorial Grammars tell us about the syntax-semantics
interface? |
11:20 | Coffee |
11:40 | Florent
Pompigne: Modeling the overt movements in ACG with dependent product |
12:20 | Richard Moot: Categorial grammars as hyperedge replacement grammars. |
13:00 | Lunch |
14:20 | Géraud
Sénizergues: Formal Languages and Groups. |
15:00 | Makoto Kanazawa: The
convergence of well-nested mildly context-sensitive grammar
formalisms |
15:40 | Coffee |
16:00 | Pierre Bourreau: Typing for Parsing. |
16:40 | Sylvain Salvati:
Free Word Orders and Formal Grammars. |
For further information:
Previous workshops