[kisoron-ml] JAIST Logic Seminar Series

[Takako Nemoto]

皆様

JAIST Logic Seminar Seriesのお知らせです。
ふるってご参加ください。

問合せ先：
根元 多佳子
北陸先端科学技術大学院大学 情報科学研究科
e-mail: nemototakako at gmail.com
------------------------------

* JAIST Logic Seminar Series *

Date: Tuesday 29 October, 2013, 15:30-

Place: Collaboration room 6 (I-57g)
(Access: http://www.jaist.ac.jp/english/location/access.html)

Speaker: Prof. Martin Ziegler (Technische Universitaet Darmstadt)

Title: Real Parameterized and Second-Order Complexity Theory:
  from Computability in Analysis to Numerical Practice

Abstract: http://www.jaist.ac.jp/~t-nemoto/Ziegler_talk.pdf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/kisoron-ml/attachments/20131022/979444bd/attachment.html>