[linguistics]MLから戴いた情報です。(taro)
横流しします。(^^;
------------------------------------------

Third Workshop on Lambda Calculus and Formal Grammar

http://research.nii.ac.jp/~kanazawa/lcfg3-j.html

国立情報学研究所
2007年1月29日

2005年から始めたインフォーマルなワークショップの第３回です．
（http://research.nii.ac.jp/~kanazawa/index-j.html から過
去２回のプログラムがご覧になれます．）ワークショップのテーマはラ
ムダ計算と形式文法の関わりで，特に，「抽象的範疇文法」または「ラ
ムダ文法」と呼ばれる文法フォーマリズムに焦点を当てています．興味
を持たれた方の参加をお待ちしています．

このワークショップは，国立情報学研究所平成18年度企画型共同
研究「型付きラムダ計算に基づく包括的な文法モデルの構築」（研究代
表者：金沢　誠）の活動として行うものです．

日にちと場所

日にち：2007年1月29日（月）
場所：　国立情報学研究所20階講義室１，２（学術総合センター
内）
　　　　地図と交通：http://www.nii.ac.jp/introduce/access1-j.shtml

学術総合センターの入口で20階で行われているワークショップに
参加する旨をお伝えください．

暫定プログラム

9:50　開会の辞

10:00　Philippe de Groote (INRIA-Lorraine)
　　　Introduction to Abstract Categorial Grammars

10:40　Sylvain Pogodalla (INRIA-Lorraine)
　　　TBA

11:20　コーヒーブレーク

11:40　Yoad Winter (Technion)
　　　A Modular Approach to Intensional Semantics

12:20　Reinhard Muskens (Tilburg University)
　　　Sense and Reference in Classical Type Theory

13:00　昼食

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　コーヒーブレーク

16:00　黒田　覚 (群馬県立女子大学)
　　　Characterizations and Problems on LOGCFL

16:40　金沢　誠 (NII)
　　　Parsing and Generation as Datalog Queries

講演のタイトルと順番は変更になる可能性があります．