Third Workshop on Lambda Calculus and Formal Grammar

[Japanese | English]

Workshop held at the National Institute of Informatics
January 29, 2007

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 and Place

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:50Opening Remarks
10:00Philippe de Groote (INRIA-Lorraine), Introduction to Abstract Categorial Grammars
10:40Sylvain Pogodalla (INRIA-Lorraine), Different Views on Modeling Scope Ambiguity with ACGs
11:40Yoad Winter (Technion/NIAS), A Modular Approach to Intensional Semantics
12:20Reinhard Muskens (Tilburg University), Sense and Reference in Classical Type Theory
14:20Philippe de Groote (INRIA-Lorraine), Earley-Like Parsing of Second-Order ACG
15:00Sylvain Salvati (NII), Towards Parsing Non-Linear ACGs with Intersection Types
16:00Satoru Kuroda (Gunma Prefectural Women's University), Characterizations and Problems on LOGCFL
16:40Makoto Kanazawa (NII), Parsing and Generation as Datalog Queries

For further information, contact me at the following address:

Makoto Kanazawa
kanazawa at nii

Last modified: 2007-01-24 14:59:29 JST