[logic-ml] 講演会/セミナーのお知らせ

[Makoto Kikuchi]

各位

Segei Artemov 教授 (City University of New York)，Elena Nogina 教授 
(City University of New York) をお招きして，以下の要領で講演会とセミナーを開催します．
ご出席希望の方は事前にそれぞれの問い合わせ先までご連絡下さい．

【１】論理学講演会

日時：2013年3月24日（日）14:30-18:00
場所：日本大学文理学部1号館1階122教室
プログラム:

14:30-16:00	Sergei Artemov (CUNY)
			Logic of Proofs and Justification
16:30-18:00	Elena Nogina (CUNY)
			Joining Two Goedel's Models of Provability

問い合わせ先：
日本大学文理学部哲学科 飯田隆
iida.takashi19 at nihon-u.ac.jp

【２】Seminar in Logic and Philosophy of Mathematics

日時：2013年3月26日（火）〜27日（水）
場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）
プログラム：

3月26日
10:30-12:00	Sergei Artemov (CUNY)
			Provability Brouwer-Heyting-Kolmogorov semantics (1/2)
13:00-14:30	Elena Nogina (CUNY)
			Provability and Explicit Proofs
15:00-16:30	Taishi Kurahashi (Kobe)
			Syntax and semantics of predicate modal logic of provability

3月27日
10:30-12:00	Sergei Artemov (CUNY)
			Provability Brouwer-Heyting-Kolmogorov semantics (2/2)
13:00-14:30	Ryota Akiyoshi (Kyoto)
			Proper Explanation of Brouwer's  Fundamental Assumption
15:00-16:30	Hidenori Kurokawa
			Kreisel's second clause and the theory of constructions

問い合わせ先：
神戸大学大学院システム情報学研究科 菊池誠
mkikuchi at kobe-u.ac.jp