皆様
直前のお知らせになって申し訳ありません。
ジーゲン大学（ドイツ）の Hannes Diener 博士の講演のお知らせです。
ふるってご参加ください。
問い合わせ先：
根元多佳子
北陸先端科学技術大学院大学 情報科学研究科
e-mail: t-nemoto(a)jaist.ac.jp
-----------------------------------------------
* 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
