[logic-ml] チュートリアルのお知らせ (Martin Ziegler氏、2013年10月15日)

Hideki Tsuiki tsuiki at i.h.kyoto-u.ac.jp
Thu Oct 10 10:24:16 JST 2013


皆様

Darmstadt 工科大学の Martin Ziegler 教授が、10月14日から2週間京都に滞在されます。
その間、何回かにわたって、計算可能性解析学に関するチュートリアル・レクチャーをして
頂きます。初回は、15日火曜日です。それ以降の予定は、その時にお伝えします。

皆様のご参加をお待ちしております。

日時: 10月14日(火曜)1:00 より
場所:京都大学 総合人間学部棟 1401 教室  
        (吉田南キャンパスに入って左側の建物の4Fです)
講演者: Martin Ziegler
題目:    Tutorial on Computability and Complexity in Analysis, Part I

立木


More information about the Logic-ml mailing list