HOME > News Archives > 2010 > Mita Logic Seminar "A Proof Theory Workshop (with Lecture Series by Grigori Mints)" is held on 17-18th March, 2010
Mita Logic Seminar "A Proof Theory Workshop (with Lecture Series by Grigori Mints)" is to be held as follows.
*Admission free, no registration required.
*This event will be held in English; no interpretation provided.
Title: "A Proof Theory Workshop (with Lecture Series by Grigori Mints)"
Date and Time: Wednesday & Thursday, 17-18th March, 2010; 13:00 start
Venue: Conference Hall, 3rd Floor, North Building, Mita Campus, Keio University
Speakers and Themes:
[Wednesday, 17th March]
Grigori Mints (Stanford University) "Epsilon-Calculus and Epsilon-Substitution Method"
Naohi Eguchi (Kobe University) "On provably total number-theoretic functions of fragments of set theories"
Ryota Akiyoshi (Keio University) "Finite notations for Ωμ-rule"
Hirohiko Kushida (Keio University) "A modal logical study of the notion of Gödel sentences"
Gunnar Wilken (OIST) "Derivation Lengths Classification of Gödel's T Extending Howard's Assignment"
[Thursday, 18th March]
Grigori Mints (Stanford University) "Termination of Epsilon-Substitution Method for Arithmetic and ID1"
Toshiyasu Arai (Chiba University) "Search problems in bounded arithmetics"
Masaru Shirahata (Keio University) "Toward a categorical NCI"
Makoto Tatsuta (NII) "Non-Commutative First-Order Sequent Calculus"
Chair: Takashi Iida (Keio University)
Organized by: Open Research Centre for Logic and Formal Ontology, Keio University/ Global COE CARLS, Keio University
Reference (in Japanese):
"A Proof Theory Workshop (with Lecture Series by Grigori Mints)"
Copyright 2008 CARLS All Rights Reserved.