<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div><div>皆様</div><div><br></div><div>早稲田大学の藤原誠です。</div><div>以下の要領で研究集会</div><div>Computability Theory and Foundations of Mathematics 2016<br>(2016年9月20日(火)～9月21日(水)、早稲田大学国際会議場)<br>を開催いたします。<br></div><div><br></div><div>講演を希望される方は8月31日までに以下に沿って講演要旨をお送り下さい。</div><div>(締切日が迫ってからの連絡となってしまい申し訳ありません。)</div><div><a href="http://www.sendailogic.com/CTFM2016/submission.html">http://www.sendailogic.com/CTFM2016/submission.html</a></div><div><br></div><div>本研究集会への参加は自由ですが、20日夜の懇親会に参加される方は9月12日までに以下より参加登録をお願いいたします。</div><div>準備の都合上、懇親会に参加されない方も事前に参加登録をしていただけると助かります。</div><div><a href="http://www.sendailogic.com/CTFM2016/registration.html">http://www.sendailogic.com/CTFM2016/registration.html</a></div><div><br></div><div>詳しくは下記ホームページをご覧ください。<br></div><div><a href="http://www.sendailogic.com/CTFM2016/">http://www.sendailogic.com/CTFM2016/</a></div><div><div>本研究集会に関するお問い合わせは以下へお願いいたします。</div><div><a href="mailto:ctfm2016@fastmail.com?subject=CTFM2016%20registration" style="margin: 0px; padding: 0px; color: rgb(0, 153, 255); font-family: メイリオ, Meiryo, 'ＭＳ Ｐゴシック', sans-serif;">ctfm2016[at]fastmail.com</a><span style="font-family: メイリオ, Meiryo, 'ＭＳ Ｐゴシック', sans-serif;"> </span></div></div><div><br><br></div><div>どうぞよろしくお願いいたします。</div><div><br></div><div><br></div><div>==============================================================</div><div>Computability Theory and Foundations of Mathematics 2016</div><div><br></div><div>Waseda University, Tokyo, Japan, September 20 - 21, 2016</div><div><br></div><br class="Apple-interchange-newline"><a href="http://www.sendailogic.com/CTFM2016/">http://www.sendailogic.com/CTFM2016/</a><div><br></div><div>==============================================================</div><div>Computability Theory and Foundations of Mathematics (CTFM) aims to </div><div>develop computability theory and logical foundations of Mathematics. The </div><div>scope involves the topics Computability Theory, Reverse Mathematics, </div><div>Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of </div><div>Mathematics, Constructive Mathematics, Theory of Randomness and </div><div>Computational Complexity Theory.</div><div><br></div><div>This is the sixth conference of the CTFM conference series:</div><br class="Apple-interchange-newline"><a href="http://www.jaist.ac.jp/CTFM/CTFM_SERIES/">http://www.jaist.ac.jp/CTFM/CTFM_SERIES/</a><div><br></div><div><br></div><div>This conference is supported by the Waseda Insitute for Advanced Study </div><div>and JSPS KAKENHI Grant Numbers JP26540001 and JP15H03634.</div><div>-------------------------------------------------------------------------------------------------------------------------</div><div>Invited speakers:</div><div><br></div><div> • David Belanger (National University of Singapore)</div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>• Chi Tat Chong (National University of Singapore)<br></div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>• Daisuke Ikegami (Tokyo Denki University)<br></div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>• Wei Li (National University of Singapore)<br></div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>• Kenshi Miyabe (Meiji University)<br></div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>• Paul Shafer (Ghent University)<br></div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>• Frank Stephan (National University of Singapore)<br></div><div> • Philip Welch (University of Bristol)</div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>• Guohua Wu (Nanyang Technological University) <br></div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>• Takeshi Yamazaki (Tohoku University)<br></div><div><span class="Apple-tab-span" style="white-space: pre;"> </span>• Yang Yue (National University of Singapore)</div><div><br></div><div>-------------------------------------------------------------------------------------------------------------------------</div><div>Submission deadline for presentations:</div><div>August 31, 2016</div></div><div><br></div><div>-------------------------------------------------------------------------------------------------------------------------<br><div>Registration deadline:</div><div>September 12, 2016.</div><div>(It will still be possible to register for the conference after the deadline, but in that case the participant cannot attend the banquet.</div><div>The banquet will be held on September 20 (18:30-20:30), at the same place as the conference venue.)</div><div><br></div><div>-------------------------------------------------------------------------------------------------------------------------</div><div>Organising Committee:</div><div><br></div><div> Makoto Fujiwara (Waseda University, co-chair)</div><div> Florian Pelupessy (Tohoku University)</div><div> Kazuyuki Tanaka (Tohoku University, co-chair)</div><div> Toshimichi Usuba (Waseda University)</div><div> Keita Yokoyama (JAIST)</div><br class="Apple-interchange-newline"><br></div><div><br></div><div><br></div><div>
<div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">============================================<br><div>藤原 誠 (Makoto Fujiwara)</div><div>早稲田大学高等研究所</div><div>(Waseda Institute for Advanced Study, Waseda University)</div><div>E-mail: <a href="mailto:makoto_fujiwara@aoni.waseda.jp">makoto_fujiwara@aoni.waseda.jp</a><br>============================================<br><br><br><br><br></div></div></div></div></div></div>
</div>
<br></body></html>