皆様

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

問合せ先： 根元 多佳子 北陸先端科学技術大学院大学 情報科学研究科 e-mail: [email protected] ------------------------------

* 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