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

[YOKOYAMA Keita]

皆様、

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

invited speakers 等の情報については、近日中に下記のホームページにて公開致します。
http://www.jaist.ac.jp/CTFM/temp/CTFM2014/index.html

12月15日より講演の募集を開始致しますので、宜しく参加・講演をご検討ください。

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

http://www.jaist.ac.jp/CTFM/temp/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