***************************************************************
「証明、計算、哲学」International Workshop "Proofs, Computation and Philosophy"
11月28-29日Nov28-29th慶応大三田Campus Mita,Keio Univ (Mita Campus)
(Apologies for multiple copies due to cross posting)
*****************************************************************
証明とカット消去の概念について議論することを目的として、「証明」の哲学と 計算機科学について、次のよ うな 国際ワークショップの開催を予定しています。
参加自由です。またこの案内は転送自由です。
会議のupdated informationに ついてはつぎのURLをご覧ください。
http://abelard.flet.keio.ac.jp/seminar/girard2015.html
到着したAbstractsも ここに貼っていきます。
（この国際ワークショップとは別に、Girard教 授による連続講義が開催されて います。
この案内の最後を参照ください。）
****国際ワークショップ情報International Workshop Information*****
Date: November 28th(Sat)-29th(Sun), 2015
日時: 2015年11月28日(土)-29日(日)
Place: Conference Hall, 3F of North Building, Mita campus of Keio University
場所: 慶應大学三田キャンパス 北 館3階会議場
Campus Maphttp://www.keio.ac.jp/en/maps/mita.html
Building #1 on this map. / 1番 の建物です。
注意：２８日土曜日はどの門からもお入りに慣れますが、２９日日曜日は正門の みしか書いていない場合があ りま すので、ご注意ください。
One can access to the North Building through any gates on Saturday 28^th , but
We strongly recommend to use the MAIN GATE on SUNDAY because other gates
Often close on Sundays.
List of the invited speakers:
１・Jean-Yves Girard, (Mathematics Institute of Marseille, Univ Marseille/CNRS)
Special Lectures （上記連続講義とは独立なself-containedな証明論レク チャーです。Transcendental syntaxを 別な観点から、より技術的に導入なさい ます。 ）
2. Philip Scott (Dept. of Mathematics and Statistics, University of Ottawa)
"AF Inverse Monoids and the Coordinatization of MV-algebras"
3. Jean-Baptiste Joinet (Faculte de philosophie, Universite Jean Moulin - Lyon 3)
"Logic and Naturalness : from Gentzen to Girard"
4. Paolo Pistone (Philosophy, IMM, Univ Marseille/CNRS)
"Proofs, programs and the library of Babel"
5. V. Michele Abrusci (Philosophy, Univ Rome 3)
“Philosophical aspects of proof-nets”
6. Masahiro Hamano "Geometry of Interaction for MALL via Hughes-van Glabbeek Proof-Nets"
7Kazushige Terui (Research Institute for Mathematical Sciences, Kyoto University)
TBA
8. Takeshi Tsukada (Graduate School of Information Science and Technology, University of Tokyo) "A bifibrational account of LC"
9. Naohiko Hoshino (Research Institute for Mathematical Sciences, Kyoto University)
"Geometry of Interaction and coherence spaces"
-------
Tentative PROGRAM (see the Workshop webpage for updated information)
November 28^th (Saturday)
9:30- registration
9:50-10:00 Introductory Remark, Mitsuhiro Okada
10:00-11:20 Jean-Yves Girard Special lecture, Some technical aspects of transcendental syntax I (tentative) (Univ Lyon 3 and ENS-Paris)
11:20-11:30 Break
11:30-12:30 Michele Abrusci (Univ Rome 3),” Philosophical aspects of proof-nets”
12:30-14:00 Lunch Break
14:00-15:00 Jean-Baptiste Joinet (Univ Marseille), "Logic and Naturalness : from Gentzen to Girard"
15:00-15:10 Break
15:10-15:50 Takeshi Tsukada (Univ Tokyo) , "A bifibrational account of LC"
15:50-16:50 Paolo Pistone (Univ Marseille/CNRS)
"Proofs, programs and the library of Babel"
16:50-17:40 Discussion with the speakers of the first day ( coordinator: M. Okada)
November 29^th (Sunday)
10:00-11:20 Jean-Yves Girard Special Lecture , Some technical aspects of transcendental syntax II (tentative)
11:20-11:30 Break
11:30-12:10 Naohiko Hoshino (RIMS, Univ Kyoto) "Geometry of Interaction and coherence spaces"
12:10-12:30 Discussion
12:30-14:00 Lunch Break
14:00-15:00 Phil Scott (Univ Ottawa) "AF Inverse Monoids and the Coordinatization of MV-algebras"
15:00-15:40 Masahiro Hamano, "Geometry of Interaction for MALL via Hughes-van Glabbeek Proof-Nets"
15:40-16:00 Break
16:00-16:40 Kazushige Terui (RIMS, Univ Kyoto) TBA
16:40-17:30 Discussion with the speakers of the second day (coordinator: M.Okada9
Local organizing committee:
Mitsuhiro Okada, Keio University(Chair)
Yutaro Sugimoto, Keio University
Yuta Takahashi, Keio University
主催: Mita Logic Seminar 事 務局(科学研究費 新学術領域 「予測と行動判 断の論理と計算」）
共催: 慶應義塾大学 論理と感性のグローバル研 究センター
問合せ先:
Mita Logic Seminar 事 務局
-------------------------
なお、このワークショップとは別に、１１月１７日、２４日の午後６時より、大 学院棟１階３１３番教室でGirard教授の公開講義が行われます。参加自由です。