[logic-ml] 「証明、計算、哲学」International Workshop "Proofs, Computation and Philosophy"

Mon Nov 16 12:20:30 JST 2015

昨日お送りしました以下の案内に誤植がありましたので、修正版を同封いたします。
もしMLに発送前でしたらこちらをお使いになってください。
慶應義塾大学文学部　岡田光弘

*****************************************************************

「証明、計算、哲学」International Workshop "Proofs, Computation and
Philosophy"

11月28-29日慶応大三田キャンパス Nov. 28-29th, 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教授による連続講義が開催されて
います。(17日「What is Question」, ２４日「What is Answer」)

この案内の最後を参照ください。）

*****国際ワークショップ情報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 
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:

1. 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"

7. Kazushige 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 (Univ Marseille), Special lecture, Some 
technical aspects of
transcendental syntax I (tentative)

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 Lyon 3 and ENS-Paris), "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.Okada）

------------------------------------------
Local organizing committee:

Mitsuhiro Okada, Keio University(Chair)

Yutaro Sugimoto, Keio University

Yuta Takahashi, Keio University

主催: Mita Logic Seminar 事務局(科学研究費　新学術領域　「予測と行動判
断の論理と計算」）

共催: 慶應義塾大学 論理と感性のグローバル研究センター

問合せ先:

慶応義塾大学　Mita Logic Seminar 事 務局

logic at abelard.flet.keio.ac.jp

ワークショップURL
http://abelard.flet.keio.ac.jp/seminar/girard2015.html

-------------------------

なお、このワークショップとは別に、１１月１７日(What is Question)、２４日
(What is Answer) の午後６時より、三田キャンパス大学院棟１階３１３番教室
でGirard教授の公開講義が行われます。参加自由です。
講義情報（日時など）のURLは以下です：

http://abelard.flet.keio.ac.jp/seminar/trsy3ls.html

講義の要約（レジュメ）のURLは以下です：

http://abelard.flet.keio.ac.jp/seminar/pdf/trsy3ls.pdf

End of the announcement 転送自由です。------