<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-2022-JP">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Logic-ml $B$N3'MM!$(B<br>
<br>
$B@hF|$40FFb$7$^$7$?7W;;2DG=@-!$5U?t3XEy$K4X$9$k8&5f2q(B<br>
<br>
Computability Theory and Foundations of Mathematics (CTFM)<br>
(2013$BG/(B2$B7n(B18$BF|(B($B7n(B)$B!A(B2$B7n(B20$BF|(B($B?e(B)$B!$El5~9)6HBg3XBg2,;3%-%c%s%Q%9(B)<br>
<a class="moz-txt-link-freetext" href="http://sendailogic.math.tohoku.ac.jp/CTFM/">http://sendailogic.math.tohoku.ac.jp/CTFM/</a><br>
<br>
$B$K$D$-$^$7$F!$9V1i?=$79~$_Dy$a@Z$j$,(B2013$BG/(B12$B7n(B18$BF|$H(B<br>
$B$J$C$F$$$^$7$?$,(B<b>2012$BG/(B</b>12$B7n(B18$BF|(B($B2P(B)$B$N8m$j$G$7$?!%(B<br>
<br>
$BD{@5$7$F$*OM$S?=$7>e$2$^$9!%(B<br>
<br>
$B9>8}D>F|!!(B(CTFM $B%W%m%0%i%`0Q0w(B)<br>
$BLd$$9g$o$;@h!!(B<a class="moz-txt-link-abbreviated" href="mailto:CTFM@math.tohoku.ac.jp">CTFM@math.tohoku.ac.jp</a><br>
<br>
<br>
============================================================<br>
Computability Theory and Foundations of Mathematics<br>
(Tokyo Institute of Technology, Tokyo, Japan, February 18 - 20,
2013)<br>
<br>
<a class="moz-txt-link-freetext" href="http://sendailogic.math.tohoku.ac.jp/CTFM/">http://sendailogic.math.tohoku.ac.jp/CTFM/</a><br>
============================================================<br>
<br>
Computability Theory and Foundations of Mathematics (CTFM) aims to<br>
develop computability theory and logical foundations of Mathematics.
The<br>
scope involves the topics Computability Theory, Reverse Mathematics,<br>
Nonstandard Analysis, Proof Theory, Constructive Mathematics, Theory
of<br>
Randomness and Computational Complexity Theory.<br>
<br>
This is a successor workshop to Workshop on Proof Theory and<br>
Computability Theory 2012 - Philosophical Frontiers in Reverse<br>
Mathematics (February 20 - 23, 2012, Tokyo, Japan).<br>
<br>
--------------------------------------------<br>
Deadline of Submission for Presentations:<br>
December 18, <strike>2013</strike> <i><b>2012</b></i><br>
--------------------------------------------<br>
Invited Speakers:<br>
Chi Tat Chong (National University of Singapore)<br>
Erik Palmgren (Stockholm University)<br>
Michael Rathjen (University of Leeds)<br>
Helmut Schwichtenberg (LMU Munich)<br>
Stephen G. Simpson (Pennsylvania State University)<br>
Yang Yue (National University of Singapore)<br>
Wu Guohua (Nanyang Technological University)<br>
--------------------------------------------<br>
Programme Committee:<br>
Toshiyasu Arai (Chiba)<br>
Naohi Eguchi (Tohoku)<br>
Hajime Ishihara (JAIST)<br>
Ryo Kashima (Tokyo Institute of Technology)<br>
Sam Sanders (Ghent)<br>
Kazuyuki Tanaka (Tohoku, Co-chair)<br>
Andreas Weiermann (Ghent, Co-chair)<br>
Takeshi Yamazaki (Tohoku)<br>
Keita Yokoyama (Tokyo Institute of Technology)<br>
--------------------------------------------<br>
<br>
</body>
</html>