Mita Logic Seminar Page
Seminar History
- 2015.11.10,17,24: Jean-Yves Girard Series Lectures
- 2015/11/28-29: "International Workshop ˇČLogic, Philosophy and Computation of Proofs"
- 2015.10.30: Dan Zahavi Lecture
- 2015/09/10-11: "Philosophy of Mathematics and Proof Theory" Workshop
- 2015/3/19-20: "Workshop on Logic and Philosophy of Logic"
- 2015.02.27: Workshop on Philosophy of Logic
- 2015.01.16: Gilles Dowek Lecture
- 2012.10.20-21: Franco-Japanese workshop on Logic,Language,and computation in a multi-cultural perspective
- 2011.02.24-25: Ontology and Analytic Metaphysics Meeting
- 2011.02.26: Proof Theory and Philosophy
- 2011.02.10-11: Philosophy of Mathematics Symposium
- 2009.04.10: John Mitchell and Anupam Datta talks
- 2007.03.26,28 : Round-Table Symposium on Proof Theory, Linear Logic and Program Semantics
- 2006.10.17 : Jean-Pierre Jouannaud Lecture
- 2006.09.15 : Paul-Andre Mellies Lecture: Part II
- 2006.09.14 : Paul-Andre Mellies Lecture: Part I
- 2006.03.16-17 : Workshop on Linear Logic, Proof Theory and Computer Science
- 2006.03.10-11 : Interdesciprinary Meeting on Ontology 2006
- 2006.02.24 : Kohei Honda and Nobuko Yoshida Lecture
- 2005.12.19-21 : REASONING and COGNITION (ReasoningCog 05)
- 2005.11.07 : Patrick Baillot and Claudia Faggian Lecture
- 2005.10.14 : Jean-Pierre Jouannaud Lecture
- 2005.10.07 : Mathieu Marion Lecture
- 2005.09.03-05 : Franco-Japanese Symposium on Computer Security
- 2005.07.05,07 : Jocelyn Benist Lecture
- 2005.05.24 : Aaron D.Jaggard Lecture
- 2005.04.26 : Jean-Pierre Jouannaud Lecture
- 2005.04.13 : Gerard Huet Lecture and Nachum Dershowitz Lecture
- 2005.03.30 : Jean-Yves Girard Lecture
- 2005.03.23-24 : A Proof Theory Workshop
- 2005.02.17 : Vincent Danos Lecture
- 2005.01.19 : Paul-Andre Mellies Lecture
- 2004.11.29-30 : Interdesciprinary Meeting on Ontology
- 2004.11.16 : Andre Scedrov Lecture
- 2004.10.22,26 : Yagisawa Lecture and Byeong-Uk Yi Lecture
- 2004.09.07 : Mathieu Marion Lecture
- 2004.03.29-30 : Proof Theory and its Applications
- 2004.03.27 : InformalMeeting
- 2004.03.15 : Workshop "Images reason, and reasoning"
- 2003.12.10 : Symposium on Interdisciplinary Studies on Consciousness