[Japanese | English]
This is the second installment of an informal workshop series that started last year. (See the program of last year's workshop.) 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.
Philippe de Groote, INRIA-Lorraine
Sylvain Pogodalla, INRIA-Lorraine
| Date: | February 2, 2006 |
| Place: | Conference Room 1208, 12th 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 12th floor.
| 9:45 | Opening Remarks |
| 10:00 | Makoto Kanazawa (NII), Semantics-Driven Learning of Lexicalized Grammars |
| 11:00 | Sylvain Pogodalla (INRIA-Lorraine), About Higher-Order in Semantic Representation for TAGs |
| 12:00 | Lunch |
| 13:30 | Ryo Yoshinaka (University of Tokyo and NII), Simulation of Deterministic Tree Walking Transducers by Two-Dimensional ACGs |
| 14:30 | Sylvain Salvati (NII), Encoding Second-Order String ACGs with Deterministic Tree Walking Transducers |
| 15:30 | Break |
| 16:00 | Kazushige Terui (NII), Intersection Types for Computational Complexity |
| 17:00 | Philippe de Groote (INRIA-Lorraine), Type-Theoretic Extensions of Abstract Categorial Grammars |
The program is subject to change.
For further information, contact me at the following address:
Last modified: 2006-11-28 13:31:38 JST