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

Sun Nov 15 16:53:04 JST 2015

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

「証明、計算、哲学」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 事 務局

logic at abelard.flet.keio.ac.jp

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

なお、このワークショップとは別に、１１月１７日、２４日の午後６時より、大 
学院棟１階３１３番教室でGirard教授の公開講義が行われます。参加自由です。

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20151115/3c8febf7/attachment-0001.html>