[logic-ml] CTFM 2015 Call for Participation

[YOKOYAMA Keita]

皆様、

北陸先端大の横山です。
参加登録期限が近づきましたので、研究集会
Computability Theory and Foundations of Mathematics 2015
(2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス)
の情報を再送致します。
なお、研究集会のプログラムが
http://www.jaist.ac.jp/CTFM/CTFM2015/timetable.html
にアップされております。

横山啓太


---------- Forwarded message ----------


皆様、

北陸先端大の横山です。

以下の要領で研究集会
Computability Theory and Foundations of Mathematics 2015
(2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス)
を開催いたします．

詳しい情報については、下記のホームページをご覧ください。
http://www.jaist.ac.jp/CTFM/CTFM2015/index.html
本研究集会では、田中一之先生の還暦を記念して、田中先生の研究にちなんだセッションも行う予定です。
現在、参加登録を受付中です。参加登録の締め切りは8月21日となります。
宜しくご参加をご検討ください。

============================================================
Computability Theory and Foundations of Mathematics
(Tokyo Institute of Technology, Tokyo, Japan, September 7-11, 2015)

http://www.jaist.ac.jp/CTFM/CTFM2015/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, Set Theory,
Philosophy of Mathematics, Constructive Mathematics, Theory of
Randomness and Computational Complexity Theory. In honor of Professor
Kazuyuki Tanaka's 60th birthday, this year's conference will include
sessions covering areas in which Professor Tanaka has worked.

This conference is held jointly with a workshop of Bilateral Joint
Research Project sponsored by the Japan Society for the Promotion of
Science and the National University of Singapore. See the previous
workshop on this project JSPS-NUS Joint Workshop in Mathematical Logic
and Foundations of Mathematics (March 6 - 8, 2015, Kanazawa, Japan).

This is the fifth conference of CTFM conference series. See also the
last year conference Computability Theory and Foundations of
Mathematics 2014 (February 17 - 20, 2014, Tokyo, Japan).

--------------------------------------------

Invited Speakers

Ali Enayat (University of Gothenburg)
Sy Friedman (Kurt Gödel Research Center)
Leszek Kołodziejczyk (University of Warsaw)
Alberto Marcone (The University of Udine)
Nik Weaver (Washington University)
Stephen Binns (King Fahd University of Petroleum and Minerals)
Keng Meng Ng (Nanyang Technological University)
Guohua Wu (Nanyang Technological University)
Liang Yu (Nanjing University)
Sakae Fuchino (Kobe University)
Joel Hamkins (City University of New York)
Dilip Raghavan (National University of Singapore)
Hiroshi Sakai (Kobe University)
Walter Dean (University of Warwick)
Hidenori Kurokawa (Kobe University)
Kengo Okamoto (Tokyo Metropolitan University)
Toshio Suzuki (Tokyo Metropolitan University)
Tin Lok Wong (Kurt Gödel Research Center)
Keisuke Yoshii (Okinawa National College of Technology)


--------------------------------------------

Programme Committee

Chi Tat Chong (National University of Singapore, co-chair)
Kojiro Higuchi (Chiba University)
Makoto Kikuchi (Kobe University)
Takako Nemoto (JAIST)
Stephen G. Simpson (Pennsylvania State University, co-chair)
Toshimichi Usuba (Kobe University)
Andreas Weiermann (Ghent University)
Takeshi Yamazaki (Tohoku Universigy)
Yang Yue (National University of Singapore)
Keita Yokoyama (JAIST / UC Berkeley)

--------------------------------------------

Organising Committee

Makoto Fujiwara (JAIST)
Ryo Kashima (Tokyo Institute of Technology, local chair)
Takayuki Kihara (UC Berkeley)
Takako Nemoto (JAIST)
Florian Pelupessy (Tohoku University)
Takeshi Yamazaki (Tohoku University, co-chair)
Keita Yokoyama (JAIST / UC Berkeley, co-chair)


--------------------------------------------

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

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


-- 
Keita Yokoyama
y-keita at jaist.ac.jp