A Proof Theory Workshop
(with Lecture Series by Jean-Yves Girard)
March 23-24, Tokyo

場所: 慶應義塾大学 三田キャンパス 東館(G-SEC Lab) 8Fホール
(JR田町駅または都営地下鉄三田駅または赤羽橋駅(大江戸線)から徒歩5分)

日時: 2005年3月23日-24日

Tentative Program

3月23日 (March 23, Wednesday)

13:00-14:00

Jean-Yves Girard (Marseille, IML)

 
  Invited lecture series I:  
  Essentialism and Incompleteness (A philosophical lecture)  
14:00-14:40

Discussion & Coffee Break

 
14:40-15:30

Makoto Kanazawa (NII)

 
  Invited tutorial:  
  Abstract categorial grammar and linear logic  
15:30-15:50

Coffee Break

 
15:50-16:20

Kohei Suenaga (The University of Tokyo)

 
  Translation of Tree-processing Programs into Stream-processing Programs  
  based on Ordered Linear Type  
16:20-16:50

Mitsuhuri Okada, Ryo Takemura (Keio University)

 
  Some semantic questions and cognitive questions on logical inferences  


3月24日 (March 24, Thursday)

10:30-11:30

Jean-Yves Girard (Marseille, IML)

  Invited lecture series II:
  A recent advancement of proof theory (a tentative title)
11:30-11:40 Discussion & Coffee Break
11:40-12:10 Masahiro Hamano (JAIST)
  A denotational semantics for polarized logic
12:10-13:30 Lunch Break
13:30-14:20 Hideki Tsuiki (Kyoto University)
  Invited talk :
  Computation over Topological Spaces via Embeddings in Streams with a bottom
14:20-14:40

Discussion & Coffee Break

14:40-15:20

Atsushi Igarashi (Kyoto University)

  A proof theory of ephemeral and persistent code
15:20-15:50 Naoyuki Tamura and Mutsunori Banbara (Kobe University)
  Classical propositional linear logic theorem prover on a linear logic programming language
  compiler system
15:50-16:00 Discussion & Coffee Break
16:00-17:00 Jean-Yves Girard (Marseille, IML)
  Invited lecture series III :
  A recent advancement of proof theory (a tentative title)



問合せ先:
慶應義塾大学 21世紀COE人文科学研究拠点
「心の統合的研究」センター ワークショップ事務局
住所: 東京都港区三田3-1-7 三田東宝ビル8F
電話: 代表 03-5427-1156 (内線 23864)
e-mail: philosophy@abelard.flet.keio.ac.jp



平成17年3月18日