20-21 Sep 2016
Tokyo, Japan
==============================================================
Computability Theory and Foundations of Mathematics 2016
Waseda University, Tokyo, Japan, September 20 - 21, 2016
http://www.sendailogic.com/CTFM2016/
==============================================================
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.
This is the sixth conference of the CTFM conference series:
http://www.jaist.ac.jp/CTFM/CTFM_SERIES/
This conference is supported by the Waseda Insitute for Advanced Study and JSPS
KAKENHI Grant Numbers JP26540001 and JP15H03634.
-------------------------------------------------------------------------------------------------------------------------
Invited speakers:
David Belanger (National University of Singapore)
Chi Tat Chong (National University of Singapore)
Daisuke Ikegami (Tokyo Denki University)
Wei Li (National University of Singapore)
Kenshi Miyabe (Meiji University)
Paul Shafer (Ghent University)
Takeshi Yamazaki (Tohoku University)
More TBA.
-------------------------------------------------------------------------------------------------------------------------
Submission deadline for presentations:
August 31, 2016
Submission guidelines:
http://www.sendailogic.com/CTFM2016/submission.html
-------------------------------------------------------------------------------------------------------------------------
Organising Committee:
Makoto Fujiwara (Waseda University, co-chair)
Florian Pelupessy (Tohoku University)
Kazuyuki Tanaka (Tohoku University, co-chair)
Toshimichi Usuba (Waseda University)
Keita Yokoyama (JAIST)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam