[Japanese | English]
This is the fifth installment of an informal workshop series that started three years ago. (The programs of the previous workshops are available.) The theme of the workshop is the interface between the lambda calculus and formal grammar, with a particular emphasis on the grammar formalism known as Abstract Categorial Grammar or Lambda Grammar. The workshop is open to all interested people.
The workshop is part of the NII joint research project Toward a Comprehensive Model of Grammar Based on the Typed Lambda Calculus, headed by Makoto Kanazawa.
| Date: | March 24-25, 2008 |
| Place: | Lecture Rooms 1 & 2 (2005, 2004), 20th floor, National Institute of Informatics (National Center of Sciences Building). (Map and access information.) |
When you enter the National Center of Sciences, tell the guard that you are attending the workshop on the 20th floor.
Philippe de Groote, INRIA Nancy - Grand Est
Makoto Kanazawa, NII
Greg Kobele, Humboldt University of Berlin
Reinhard Muskens, Tilburg University
Sylvain Salvati, INRIA Bordeaux - Sud-Ouest
Chung-chieh Shan, Rutgers University
Ryo Yoshinaka, Hokkaido University
| 10:20 | Opening Remarks |
| 10:30 | Reinhard Muskens (Tilburg University), The social construction of meaning and the theory of types |
| 11:20 | Coffee |
| 11:40 | Philippe de Groote (INRIA Nancy - Grand Est), A type-theoretic view of dynamic logic |
| 12:30 | Lunch |
| 14:30 | Chung-chieh Shan (Rutgers University), Reasoning about contexts in Henkin models |
| 15:20 | Coffee |
| 15:40 | Ryo Yoshinaka (Hokkaido University), Efficient learning and the inclusion problem of a subclass of deterministic context-free languages |
| 16:30 | Makoto Kanazawa (NII), A prefix-correct Earley recognizer for multiple context-free grammars |
| 10:30 | Sylvain Salvati (INRIA Bordeaux - Sud Ouest), On the derivations of minimalist grammars |
| 11:20 | Coffee |
| 11:40 | Greg Kobele (Humboldt University of Berlin), On the complexity of deletion under identity |
| 12:30 | Closing Remarks |
For further information, contact me at the following address:
Last modified: 2008-03-17 16:28:21 JST