日時：
2005年11月7日 16：00〜18：30
場所：
慶応義塾大学 21世紀COE人文科学研究拠点
三田東宝ビル8階会議室
(JR田町駅、都営地下鉄三田駅、赤羽橋駅から徒歩5分)
講演者：
Patrick Baillot (CNRS, University of Paris-Nord)
タイトル：
Verification of Ptime reducibility for system F lambda-terms via
Linear logic
講演者：
Claudia Faggian (University of Padova, University of Paris 7)
タイトル：
Ludics nets, a game model of concurrent interaction
問合せ先：
慶應義塾大学 文学部 岡田 光弘
住所：東京都港区三田 3-1-7 三田東宝ビル 8F
e-mail：philosophy at abelard.flet.keio.ac.jp