証明論研究会 ( Proof Theory '97 )

研究集会名

証明論研究会 ( Proof Theory '97 )

この研究集会は 10 年余り前から定期的に開催されているもので、 大学院生まで含む多くの証明論の研究者が集まる唯一のものです。
発表はオリジナルな研究成果に限らず、チュートリアル的なものや 中間報告的なものもあり、証明論のそれぞれの分野の現状を知るよ い機会として活用されています。

日時

8月25日(月) 午後 から27日(水)

会場

日本大学理工学部(駿河台校舎)
(東京都千代田区神田駿河台 1-8-14)
1 号館 145 教室

講演申込方法

証明論とその周辺分野から講演を募集します。 申込は志村まで．締切は 7月30日 とします。

参加申込方法

講演をなさらない方については、参加の申込は不要です。 会場に直接お越しください。

宿泊の斡旋について。

今回は宿泊場所の用意はこちらではいたしません。

問合せ先

幹事: 志村 立矢
101 東京都千代田区神田駿河台 1-8-14
日本大学理工学部数学科
tel:03-3259-0943 shimura@math.cst.nihon-u.ac.jp