皆様 (English follows.)

早稲田大学の藤原誠です。

1. CTFM2016 先日ご案内させていた研究集会 Computability Theory and Foundations of Mathematics 2016 (2016年9月20日(火)～9月21日(水)、早稲田大学国際会議場) の暫定プログラムが以下のページからご覧いただけます。 (プログラムに変更があった場合は随時更新いたします。) http://www.sendailogic.com/CTFM2016/timetable.html

多くの方々にご参加いたたけることを期待しております。 本研究集会への参加は自由となっておりますので、どうぞふるってご参加下さい。 なお、20日夜の懇親会への参加を希望される方は9月12日までに以下より参加登録をお願いいたします。 http://www.sendailogic.com/CTFM2016/registration.html

詳しくは下記ホームページをご覧ください。 http://www.sendailogic.com/CTFM2016/ 本研究集会に関するお問い合わせは以下へお願いいたします。 ctfm2016[at]fastmail.com

2. CTFM Companion Lecture 9月23日に東京工業大学にてStephan G. Simpson先生(Vanderbilt University)の講演が行われますのでこちらも合わせてご案内させていただきます。 詳しくは下記ホームページをご覧ください。 http://www.sendailogic.com/Titechworkshop/

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

============================================================== 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) • Frank Stephan (National University of Singapore) • Philip Welch (University of Bristol) • Guohua Wu (Nanyang Technological University) • Takeshi Yamazaki (Tohoku University) • Yang Yue (National University of Singapore)

------------------------------------------------------------------------------------------------------------------------- Registration deadline: September 12, 2016. (It will still be possible to register for the conference after the deadline, but in that case the participant cannot attend the banquet. The banquet will be held on September 20 (18:30-20:30), at the same place as the conference venue.)

------------------------------------------------------------------------------------------------------------------------- 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)

------------------------------------------------------------------------------------------------------------------------ Participants are also invited to attend the Workshop on Mathematical Logic at the Tokyo Institute of Technology on September 23, which includes a CTFM companion lecture by Stephen G. Simpson: http://www.sendailogic.com/Titechworkshop/

============================================ 藤原 誠 (Makoto Fujiwara) 早稲田大学高等研究所 (Waseda Institute for Advanced Study, Waseda University) E-mail: makoto_fujiwara@aoni.waseda.jp ============================================