***************************************************************
「証明、計算、哲学」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 Map http://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 28th ,
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 28th
(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 29th
(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教授の公開講義が行われます。参加自由です。