[kisoron-ml] JAIST Logic Seminar Series

皆様

直前のお知らせになって申し訳ありません。 ジーゲン大学（ドイツ）の Hannes Diener 博士の講演のお知らせです。 ふるってご参加ください。

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

----------------------------------------------- * 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