<div dir="ltr">$B3'MM(B<br>
<br>JAIST Logic Seminar Series$B$N$*CN$i$;$G$9!#(B<br>
$B$U$k$C$F$4;22C$/$@$5$$!#(B<br>
<br>
$BLd9g$;@h!'(B<br>
$B:,85!!B?2B;R(B<br>
$BKLN&@hC<2J3X5;=QBg3X1!Bg3X(B $B>pJs2J3X8&5f2J(B<br>
e-mail: <a href="mailto:nemototakako@gmail.com">nemototakako@gmail.com</a><br>
------------------------------<div id=":14j"><br>
* JAIST Logic Seminar Series *<br>
<br>
Date: Tuesday 29 October, 2013, 15:30-<br>
<br>
Place: 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>
Speaker: Prof. Martin Ziegler (Technische Universitaet Darmstadt)<br>
<br>
Title: Real Parameterized and Second-Order Complexity Theory:<br>
  from Computability in Analysis to Numerical Practice<br>
<br>
Abstract: <a href="http://www.jaist.ac.jp/%7Et-nemoto/Ziegler_talk.pdf" target="_blank">http://www.jaist.ac.jp/~t-nemoto/Ziegler_talk.pdf</a></div></div>