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 数理論理学 研究集会
, 清水市
Last modified: 7 May 1997 by Hajime Ishihara (ishihara@jaist.ac.jp).