Meetings 1995 (Index)

1995年 7月

• 18-20 非古典論理とそのKripke意味論に関する諸問題, 京都大学数理解析研究所
• 24-26 書き換えシステムの理論とその応用, 京都大学数理解析研究所
• 28-30 数学基礎論 夏の学校 ９５

1995年 9月

• 17-20 記号論理と情報科学(SLACS'95), 広島市立大学
• 18-20 証明論研究会, 広島市立大学
• 25-28 Johan van Benthem 教授集中講義, 千葉大学
• 28-29 論理学ワークショップ, 千葉大学

1995年10月

• 13-14 代数, 論理, 幾何と情報科学研究集会 ALGI(Algebra, Logic and Geometry in Informatics), 電子技術総合研究所

1995年11月

• 23-25 数学基礎論若手の会, 早稲田大学本庄セミナーハウス

1995年12月

• 4-6 数理論理学研究集会(ＭＬＧ), 兼六荘(石川県金沢市)