Round-Table Symposium on
Proof Theory, Linear Logic and Program Semantics
March 26, 28, 2007

Mita Logic Seminar�δ���Linear Logic�οʲ��ڤӴ�Ϣ����Proof Theory��ȯŸ�Ȥ���ů��Ū¦�̤�׻����ʳ�Ū¦�̤ؤα��Ѥ˴ؤ��뼡�Τ褦�ʥ������åפ򳫺Ť��ޤ��� ���äϼ�ͳ�Ǥ��� Jean-Yves Girard������Ϣ³�ֵ��ڤ�Pierre-Louis Curien�����δ�Ĵ�ֱ��ͽ�ꤵ��Ƥ��ޤ���

Place:

Room 311, Ground Floor, Building 3, Mita Campus, Keio University
(downtown Tokyo, 5 minutes walk from JR-Tamachi St or Subway-Mita St)

March 26 (Monday)

13:00 P.M. - 18:30 P.M.

Mitsu Okada (Keio University) ``Introductory Remarks on the Foundations of Logic''

Special lecture series I: Jean-Yves Girard (Marseille, IML) ``Subject and Object in Logic''

Samuel Tronçon (Laboratoire SFL, Paris VIII) ``Pragmatics and Ludics''

Coffee Break

Damiano Mazza (LIPN, Université Paris 13) ``Boehm Trees for Symmetric Interaction Combinators''

Michele Pagani (Università "Roma Tre") ``A Non-uniform Separation of Proof-nets''

Masahiro Hamano (Keio University) ``Frobenius Reciprocity and Denotational Semantics''

Discussion Session on The Foundations of Logic

Reception

March 28 (Wednessday)

13:00 P.M. - 18:30 P.M.

Special lecture series II: Jean-Yves Girard (Marseille, IML) ``Truth, Modality and Intersubjectivity''

Masahito Hasegawa (RIMS, Kyoto University) ``Recursion, Higher-Types, Exponentials and Geometry of Interaction: Traced Monoidal Closed Categories Revisited''

Emmanuel Beffara (LSV, ENS Cachan) ``Concurrent Realisability''

Coffee Break

Keynote Lecture: Pierre-Louis Curien (PPS, Université Paris 7) ``An Approach to Innocent Strategies as Graphs''

Claudia Faggian (PPS, Université Paris 7) ``Ludics, Strategies and Concurrency''

Ryo Takemura and Masahiro Hamano (Keio University) ``A Phase Semantics for Polarized Linear Logic and Second Order Conservation''

Gergely Bana (University of California-Davis) with Koji Hasebe (AIST) and Mitsu Okada (Keio University) ``Computational Semantics for Basic Protocol Logic''

Discussion Session on Proof Theory and Computer Science

���: ����������CIRM (21��ʸ�ʳ�COE)
Workshop Office:
Okada Lab., Dept.of Philosophy, Keio University
Address: 2-15-45 Mita, Minato-ku, Tokyo
Phone: 03-5427-1156 (ext.23864)
E-mail: philosophy at abelard.flet.keio.ac.jp