Fifth Workshop on Lambda Calculus and Formal Grammar

[日本語 | English]

国立情報学研究所
2008年3月24日〜25日

2005年から始めたインフォーマルなワークショップの第5回です.(こちらから過去のワークショップのプログラムがご覧になれます.)ワークショップのテーマはラムダ計算と形式文法の関わりで,特に,「抽象的範疇文法」または「ラムダ文法」と呼ばれる文法フォーマリズムに焦点を当てています.どなたでも参加できます.興味を持たれた方の参加をお待ちしています.

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

日にちと場所

日にち:2008年3月24日(月)〜25日(火)
場所:  国立情報学研究所20階講義室1,2(2005, 2004)(学術総合センター内)(地図と交通).

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

講演者

Philippe de Groote (INRIA Nancy - Grand Est)
金沢 誠 (NII)
Greg Kobele (Humboldt University of Berlin)
Reinhard Muskens (Tilburg University)
Sylvain Salvati (INRIA Bordeaux - Sud-Ouest)
Chung-chieh Shan (Rutgers University)
吉仲 亮 (北海道大学)

プログラム

3月24日(月)

10:20開会の辞
10:30Reinhard Muskens (Tilburg University), The social construction of meaning and the theory of types
11:20コーヒーブレーク
11:40Philippe de Groote (INRIA Nancy - Grand Est), A type-theoretic view of dynamic logic
12:30昼食
14:30Chung-chieh Shan (Rutgers University), Reasoning about contexts in Henkin models
15:20コーヒーブレーク
15:40吉仲 亮(北海道大学), Efficient learning and the inclusion problem of a subclass of deterministic context-free languages
16:30金沢 誠(NII), A prefix-correct Earley recognizer for multiple context-free grammars

3月25日(火)

10:30Sylvain Salvati (INRIA Bordeaux - Sud Ouest), On the derivations of minimalist grammars
11:20コーヒーブレーク
11:40Greg Kobele (Humboldt University of Berlin), On the complexity of deletion under identity
12:30閉会の辞

問い合わせは下記までどうぞ.

金沢 誠
kanazawa at nii


Last modified: 2008-03-17 16:29:25 JST