[logic-ml] Computability Theory and Foundations of Mathematics 2014

[YOKOYAMA Keita]

皆様、

2月17日(月)〜2月20日(木)に東京工業大学で開催致します、
Computability Theory and Foundations of Mathematics 2014
の講演募集の締め切りの1月15日が迫って参りましたので、
再度案内をさせていただきます。

横山

============================================================

以下の要領で研究集会
Computability Theory and Foundations of Mathematics 2014
(2014年2月17日(月)〜2月20日(木)，東京工業大学大岡山キャンパス)
を開催いたします．

研究集会の詳細は下記のホームページをご覧ください。
http://www.jaist.ac.jp/CTFM/CTFM2014/index.html

講演の募集は1月15日が締め切りです。
宜しく参加・講演をご検討ください。

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

http://www.jaist.ac.jp/CTFM/CTFM2014/index.html
============================================================

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.

--------------------------------------------
Submission for Presentations:
December 15, 2013 -- January 15, 2014
--------------------------------------------
Organizing Committee:
Hajime Ishihara(JAIST)
Ryo Kashima(Tokyo Institute of Technology, local chair)
Sam Sanders (Ghent)
Stephen G. Simpson (Pennsylvania State)
Kazuyuki Tanaka (Tohoku, chair)
Keita Yokoyama (JAIST)
--------------------------------------------
Program Committee:
Kojiro Higuchi (Chiba)
Takayuki Kihara(JAIST)
Kenshi Miyabe(Tokyo)
Takako Nemoto(JAIST)
Sam Sanders (Ghent)
Takeshi Yamazaki (Tohoku)
Keita Yokoyama (JAIST, chair)
Keisuke Yoshii (Tohoku)
--------------------------------------------

どうぞよろしくお願い致します。

横山啓太
--
Keita Yokoyama
y-keita at jaist.ac.jp