[Japanese | English]
This is the third installment of an informal workshop series that started two years ago. (The programs of the last two 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: | January 29, 2007 |
| Place: | Lecture Rooms 1 & 2, 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.
Abstracts of some of the talks are available here.
| 9:50 | Opening Remarks |
| 10:00 | Philippe de Groote (INRIA-Lorraine), Introduction to Abstract Categorial Grammars |
| 10:40 | Sylvain Pogodalla (INRIA-Lorraine), Different Views on Modeling Scope Ambiguity with ACGs |
| 11:20 | Coffee |
| 11:40 | Yoad Winter (Technion/NIAS), A Modular Approach to Intensional Semantics |
| 12:20 | Reinhard Muskens (Tilburg University), Sense and Reference in Classical Type Theory |
| 13:00 | Lunch |
| 14:20 | Philippe de Groote (INRIA-Lorraine), Earley-Like Parsing of Second-Order ACG |
| 15:00 | Sylvain Salvati (NII), Towards Parsing Non-Linear ACGs with Intersection Types |
| 15:40 | Coffee |
| 16:00 | Satoru Kuroda (Gunma Prefectural Women's University), Characterizations and Problems on LOGCFL |
| 16:40 | Makoto Kanazawa (NII), Parsing and Generation as Datalog Queries |
For further information, contact me at the following address:
Last modified: 2007-01-24 14:59:29 JST