[logic-ml] Computability Theory and Foundations of Mathematics (CTFM)

[Naohi Eguchi]

研究会のご案内

以下の要領で計算可能性，逆数学等に関する研究会
Computability Theory and Foundations of Mathematics (CTFM)
(2013年2月18日(月)〜2月20日(水)，東京工業大学大岡山キャンパス)
を開催いたします．

幅広い分野から多くの方々の参加をお待ちいたします．

CTFM プログラム委員一同
CTFM at math.tohoku.ac.jp

============================================================
Computability Theory and Foundations of Mathematics
(Tokyo Institute of Technology, Tokyo, Japan, February 18 - 20, 2013)

http://sendailogic.math.tohoku.ac.jp/CTFM/
============================================================

Computability Theory and Foundations of Mathematics (CTFM) aims to
develop computability theory and logical foundations of Mathematics. The
scope involves the topics Computability Theory, Reverse Mathematics,
Nonstandard Analysis, Proof Theory, Constructive Mathematics, Theory of
Randomness and Computational Complexity Theory.

This is a successor workshop to Workshop on Proof Theory and
Computability Theory 2012 - Philosophical Frontiers in Reverse
Mathematics (February 20 - 23, 2012, Tokyo, Japan).

--------------------------------------------
Deadline of Submission for Presentations:
December 18, 2013
--------------------------------------------
Invited Speakers:
Chi Tat Chong (National University of Singapore)
Erik Palmgren (Stockholm University)
Michael Rathjen (University of Leeds)
Helmut Schwichtenberg (LMU Munich)
Stephen G. Simpson (Pennsylvania State University)
Yang Yue (National University of Singapore)
Wu Guohua (Nanyang Technological University)
--------------------------------------------
Programme Committee:
Toshiyasu Arai (Chiba)
Naohi Eguchi (Tohoku)
Hajime Ishihara (JAIST)
Ryo Kashima (Tokyo Institute of Technology)
Sam Sanders (Ghent)
Kazuyuki Tanaka (Tohoku, Co-chair)
Andreas Weiermann (Ghent, Co-chair)
Takeshi Yamazaki (Tohoku)
Keita Yokoyama (Tokyo Institute of Technology)
--------------------------------------------