Meetings 1996 (Index)

1996年 1月

• 11-12 第2回 代数, 論理, 幾何と情報科学研究集会 ALGI(Algebra, Logic and Geometry in Informatics), Hitachi Advanced Research Lab, Hatoyama, Saitama.

1996年 7月

• 15-17 Categorical Methods and Non-Classical Logics, 東北大学 理学部 数理科学記念館

1996年 8月

• 16-18 数学基礎論サマースクール, 駿河台学園セミナーハウス 紅雲荘
• 26-28 証明論研究集会, 京都大学数理解析研究所

1996年 9月

• 24-26 記号論理学と情報科学研究集会 (SLACS), つくば研究交流センター および 電子技術総合研究所

1996年 11月

• 14-16 超準解析（ＮＳＡ）研究集会, 京都産業大学
• 25-27 数理論理学研究集会(ＭＬＧ), 兼六荘(私学共済金沢宿泊所)

1996年 12月

• 3-7 FoLLI Workshop on Logics for Linguistics, Philosophy, and Cognitive Science, 千葉大学