* 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