Meetings 1997 (Index)

1997年 3月

• 非古典論理とKripke意味論の新局面, 京都大学数理解析研究所

1997年 8月

• 4-6 数学基礎論 サマースクール, 東海大学美保研修館
• 20-23 モデル論　夏の勉強会 '97, 東海大学山中湖セミナーハウス
• 25-27 証明論研究会, 日本大学理工学部(駿河台校舎)

1997年 10月

• 29-31 記号論理と情報科学 研究集会 SLACS'97, 九州大学 留学生会舘国際ホール

1997年 11月

• 13-15 超準解析(NSA)シンポジウム, 玉川大学文学部第III校舎会議室
• 24-26 MLG 数理論理学 研究集会, 清水市