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

[YOKOYAMA Keita]

皆様、

繰り返しになりまして恐縮ですが
2月17日(月)〜2月20日(木)に東京工業大学で開催致します、
Computability Theory and Foundations of Mathematics 2014
の案内をさせていただきます。
講演募集の締め切りが1月22日まで延長されました。
また、参加登録の受け付けを1月20日頃よりホームページ上で開始致します。
ご講演、ご参加をご検討いただければ幸いです。

横山

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

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

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

講演の募集は1月22日が締め切りです。（＜延長されました）

============================================================
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 22, 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