[logic-ml] 【参加申込締切2013年2月4日(月)】CTFM 2013, Tokyo, 18-20, Feb 2013

[Naohi Eguchi]

 Logic-ml の皆様，

 以下の研究会の参加申込締切が迫ってまいり
 ましたのでご案内させていただきます．

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