7th workshop on lambda calculus and formal grammars


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:

Date and Place

The workshop will be held at LaBRI in room 76, on Wednesday March the 11th.


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


This program is subject to change

9:50Opening remarks
10:00Philippe de Groote: TBA
10:40Sylvain Pogodalla: What do Convergent Grammars and Abstract Categorial Grammars tell us about the syntax-semantics interface?
11:40Florent Pompigne: Modeling the overt movements in ACG with dependent product
12:20Richard Moot: Categorial grammars as hyperedge replacement grammars.
14:20 Géraud Sénizergues: Formal Languages and Groups.
15:00Makoto Kanazawa: The convergence of well-nested mildly context-sensitive grammar formalisms
16:00 Pierre Bourreau: Typing for Parsing.
16:40Sylvain Salvati: Free Word Orders and Formal Grammars.

For further information:

Previous workshops