数学基礎論サマースクール

研究集会名

数学基礎論サマースクール

日時

8 月 16 日から 18 日まで

会場

駿河台学園セミナーハウス 紅雲荘
(神奈川県足柄下郡箱根町仙石原 845)

トピックス

計算量理論に関連した証明論

参加申込み方法

志村立矢

shimura@math.cst.nihon-u.ac.jp

東京都千代田区神田駿河台 1-8 日本大学理工学部数学教室
まで 氏名、性別、所属・身分、参加期間、e-mail address または 連絡先を お知らせください。

問合せ先

参加申し込み先と同じです。