[logic-ml] CfPart: CTFM 2013, Tokyo, 18-20, Feb 2013

[Naohi Eguchi]

研究会のご案内

以下の要領で計算可能性，逆数学等に関する
研究会を開催いたします．

Computability Theory and Foundations of Mathematics (CTFM 2013)
(2013年2月18日(月)〜2月20日(水)，東京工業大学大岡山キャンパス)

参加ご希望の方は参加登録ページよりお申込ください．
http://sendailogic.math.tohoku.ac.jp/CTFM/registration.html

参加申込締切：2013年2月4日(月)

多くの方々の参加申込をお待ちいたします．

江口直日，Sam Sanders, 田中一之
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 Registration: February 4th, 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)
--------------------------------------------