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

[YOKOYAMA Keita]

皆様、

参加登録の締め切りが2月7日に迫って参りましたので、
再び案内をさせていただきます。

2月17日(月)～2月20日(木)に東京工業大学
Computability Theory and Foundations of Mathematics 2014
を開催致します。

研究集会のプログラムが
http://www.jaist.ac.jp/CTFM/CTFM2014/timetable.html
にてご覧いただけます。

宜しく参加をご検討ください。

横山

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

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

Registration deadline: February 7.

Invited Speakers

Chong Chi Tat (National University of Singapore)
Damir Dzhafarov (University of Connecticut)
Cameron Freer (Massachusetts Institute of Technology and Analog
Devices Lyric Labs)
Hajime Ishihara (JAIST)
Akinori Kawachi (Tokyo Institute of Technology)
Akitoshi Kawamura (University of Tokyo)
Takayuki Kihara (JAIST)
Antonio Montalbán (University of California, Berkeley)
Ng Keng Meng (Nanyang Technological University)
Jan Reimann (Pennsylvania State University)
Paul Shafer (Ghent University)
Stephen G. Simpson (Pennsylvania State University)
Henry Towsner (University of Pennsylvania)
Wang Wei (Sun Yat-sen University)
Wu Guohua (Nanyang Technological University)

Organising Committee

Hajime Ishihara (JAIST)
Ryo Kashima (Tokyo Institute of Technology, local chair)
Sam Sanders (Ghent)
Stephen G. Simpson (Pennsylvania State University)
Kazuyuki Tanaka (Tohoku, chair)
Keita Yokoyama (JAIST)

Programme 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