<div dir="ltr">$B3'MM(B<br><br>$BD>A0$N$*CN$i$;$K$J$C$F?=$7Lu$"$j$^$;$s!#(B<br>$B%8!<%2%sBg3X!J%I%$%D!K$N(B <span class="">Hannes</span> <span class="">Diener</span> $BGn;N$N9V1i$N$*CN$i$;$G$9!#(B<br>
$B$U$k$C$F$4;22C$/$@$5$$!#(B<br>
<br>
$BLd$$9g$o$;@h!'(B<br>
$B:,85B?2B;R(B<br>
$BKLN&@hC<2J3X5;=QBg3X1!Bg3X!!>pJs2J3X8&5f2J(B<br>
e-mail: <a href="mailto:t-nemoto@jaist.ac.jp">t-nemoto@jaist.ac.jp</a><br>
<br>
-----------------------------------------------<br><div id=":ur">
* JAIST Logic Seminar Series *<br>
<br>
* This seminar is held as a part of the EU FP7 Marie Curie Actions<br>
IRSES project COMPUTAL (<a href="http://computal.uni-trier.de/" target="_blank">http://computal.uni-trier.de/</a>).<br>
<br>
Date: Wednesday 28 August, 2013, 15:30-<br>
<br>
Place: JAIST, Collaboration room 6 (I-57g)<br>
(Access: <a href="http://www.jaist.ac.jp/english/location/access.html" target="_blank">http://www.jaist.ac.jp/english/location/access.html</a>)<br>
<br>
Title: The recursive part of constructive reverse mathematics<br>
<br>
Abstract: <a href="http://www.jaist.ac.jp/%7Et-nemoto/Diener_talk.pdf" target="_blank">http://www.jaist.ac.jp/~t-nemoto/Diener_talk.pdf</a></div><br></div>