Logic-ml の皆様，

先日ご案内しました計算可能性，逆数学等に関する研究会

Computability Theory and Foundations of Mathematics (CTFM)
(2013年2月18日(月)〜2月20日(水)，東京工業大学大岡山キャンパス)
http://sendailogic.math.tohoku.ac.jp/CTFM/

につきまして，講演申し込み締め切りが2013年12月18日と
なっていましたが2012年12月18日(火)の誤りでした．

訂正してお詫び申し上げます．

江口直日　(CTFM プログラム委員)
問い合わせ先　[email protected]


============================================================
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  2012
--------------------------------------------
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)
--------------------------------------------