１９９８年９月５日（土）から９月８日（火） 箱根・駿河台学園セミナーハウス
１９９８年８月１７日（月）から８月２０日（木） 神戸インスティチュート
１９９８年１０月１３日（火）から１０月１４日（水） 東北大学 理学部 数理科学記念館
１９９８年１０月１４日（水）から１０月１６日（金） 東北大学 理学部 数理科学記念館
１９９８年１１月４日（水）から１１月７日（土） 沖縄 名護浦荘
１９９８年１１月２４日（火）から２６日（木）京都大学数理解析研究所
１９９８年１１月２６日（木）から２８日（土）静岡大学理学部（静岡県静岡市）
１９９８年１１月３０日（月）から１２月２日（水）愛知県小牧市小牧勤労センター
１９９８年１２月２１日（月）から１２月２３日（水）兵庫県立城崎大会議館 (兵庫県城崎郡城崎町1062)
| １．数学基礎論 サマースクール | |
| 幹事 | 白旗優（慶応大）／鹿島亮（東工大） |
| 日程 | １９９８年９月５日（土）から９月８日（火） |
| 場所 | 駿河台学園セミナーハウス（神奈川県足柄下郡箱根町仙石原） |
| 内容 | 部分構造論理(Substructural Logics)： 部分構造論理に対する入門と、そこに集約される様々な研究分野 の紹介をおこないます。 講師と講義の予定は，鹿島 亮 (東工大)「部分構造論理の証明論」， 古森 雄一 (千葉大)「部分構造論理の意味論」， 永山 操(東京女子大)「Linear Logic」， 金沢 誠(千葉大)「Lambek Calculus」， 白旗 優(慶應大)「圏論でのCoherence Theorem」 申し込み締め切りは８月１５日（土）． |
| sirahata@math.hc.keio.ac.jp ／ kashima@is.titech.ac.jp | |
| URL | http://gentzen.math.hc.keio.ac.jp:8080/SummerSchool/ |
| ２．Model Theory | |
| 幹事 | 板井昌典（東海大理学部）／Frank Wagner (Oxford大) |
| 日程 | １９９８年８月１７日（月）から８月２０日（木） |
| 場所 | 神戸インスティチュート，St. Catherine's College |
| 内容 | A workshop focusing on recent developments in model theory. |
| itai@ss.u-tokai.ac.jp | |
| URL | http://www.logic.info.waseda.ac.jp/~okamoto/model/kobe98-j.html |
| ３．Workshop on Meta-Arithmetic and Computation | |
| 幹事 | 田中一之（東北大学） |
| 日程 | １９９８年１０月１３日（火）から１０月１４日（水） |
| 場所 | 東北大学 理学部 数理科学記念館 川井ホール |
| 内容 | S. Wainer先生（Leeds大），A. Weiermann先生（Munster大）， 竹内外史先生（Illinois大）の講演を予定しています． プログラムなど詳細は，下記のSLACS研究会と一緒にご案内致します． |
| tanaka@math.tohoku.ac.jp | |
| ４．記号論理学と情報科学 研究集会 SLACS'98 | |
| 幹事 | 竹内泉（京都大情報学研究科） |
| 日程 | １９９８年１０月１４日（水）から１０月１６日（金） |
| 場所 | 東北大学 理学部 数理科学記念館 川井ホール |
| 内容 | SLACS （スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． |
| takeuti@kuis.kyoto-u.ac.jp | |
| URL | http://www.sato.kuis.kyoto-u.ac.jp/SLACS/slacs98.html |
| ５．超準解析(NSA)シンポジウム | |
| 幹事 | 日熊隆則（琉球大学理学部） |
| 日程 | １９９８年１１月４日（水）から１１月７日（土） |
| 場所 | 沖縄 名護浦荘 |
| 内容 | 詳細未定 |
| Hinokuma Takanori (b985555@sci.u-ryukyu.ac.jp) | |
| ６．Pκλ上のイデアルの性質 | |
| 幹事 | 阿部吉弘（神奈川大工） |
| 日程 | １９９８年１１月２４日（火）から２６日（木） |
| 場所 | 京都大学数理解析研究所 |
| 内容 | Pκλ上のイデアルについて、主に次の３点、 (1) presaturation, (2) partition property, (3) stationary reflection から考察する。 |
| yabe@cc.kanagawa-u.sc.jp | |
| URL | http://mathya.b6.kanagawa-u.ac.jp/math/index-j.htm |
| ７．MLG 数理論理学 研究集会 | |
| 幹事 | 白井古希男・鈴木信行（静岡大理学部） |
| 日程 | １９９８年１１月２６日（木）から２８日（土） |
| 場所 | 静岡大学理学部 C215教室（静岡県静岡市） |
| 内容 | 当研究集会は、成果を発表し合ったり、アイデアを交換したりと、 ザックバランな雰囲気で行われている。数学の他分野や、数理、情報、 哲学の方々や、外国からの研究者を迎えるなど、オープンに運営されている。 |
| mlg@sci.shizuoka.ac.jp | |
| ８．数学基礎論 若手の会 | |
| 幹事 | 吉信康夫（名古屋大人間情報） |
| 日程 | １９９８年１１月３０日（月）から１２月２日（水） |
| 場所 | 愛知県小牧市小牧勤労センター |
| 内容 | 若手の会は，数学基礎論を専攻している，あるいは興味をもっている 学生や若手研究者の交流を主な目的とする合宿形式の研究会です． |
| yosinobu@math.nagoya-u.ac.jp | |
| ９．数学基礎論シンポジウム'９８ | |
| 幹事・世話人 | 角田 譲・菊池 誠（神戸大学） |
| 日程 | １９９８年１２月２１日（月）から１２月２３日（水） |
| 場所 | 兵庫県立城崎大会議館 (兵庫県城崎郡城崎町1062) 電話 0796-32-3888 |
| 内容 | このシンポジウムは数学基礎論の各研究分野の研究者間の情報交換を主な目的と するもので，「連続講義、招待講演、一般講演」からなります． |
| kikuchi@pascal.seg.kobe-u.ac.jp | |
| URL | http://pascal.seg.kobe-u.ac.jp/~kikuchi/logic98/index.html |
田中研究室のホームページ