[logic-ml] JAIST Logic Seminar Series

[Takako Nemoto]

皆様

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

問い合わせ先：
根元多佳子
北陸先端科学技術大学院大学 情報科学研究科
e-mail: t-nemoto at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20130826/bc71bd96/attachment.html>