* JAIST Logic Seminar Series *

* This seminar is held as a part of the EU FP7 Marie Curie Actions
IRSES project COMPUTAL (http://computal.uni-trier.de/).

Date: Wednesday 28 August, 2013, 15:30-

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

Title: The recursive part of constructive reverse mathematics

Abstract: http://www.jaist.ac.jp/~t-nemoto/Diener_talk.pdf