２０００年度 基礎論研究集会のご案内

１．Nonstandard Analysis Symposium

１１月１日（水）から１１月３日（金）
福島市土湯温泉向瀧
内容：　la Rohelle 大学 E. Benoit 博士の講演他
問い合わせ先：　大橋勝弘（福島大学経済）
E-mail：　kohashi@econ.fukushima-u.ac.jp

２．モデル理論とその応用

１１月１３日（月）から１１月１５日（水）
京都大学数理解析研究所
問い合わせ先：　田中 克己 （岡山大学）

３．公理的集合論

１１月１５日（水）から１１月１７日（金）
京都大学数理解析研究所
問い合わせ先：　渕野 昌 （北見工業大学）
E-mail：　fuchino@math.cs.kitami-it.ac.jp
Homepage：　http://math.cs.kitami-it.ac.jp/~fuchino/rims2000.html

４．数学基礎論若手の会

１１月２６日（日）から１１月２８日（火）（←新日程！）
愛知県小牧市「小牧勤労センター」
問い合わせ先：　鈴木 晃 （近畿福祉大学）
E-mail：　akira@math.nagoya-u.ac.jp
Homepage：　http://bach.kinwu.ac.jp/~sakira/wakate/

５．証明論

１２月１１日（火）から１２月１５日（金）
京都大学数理解析研究所
問い合わせ先：　長谷川 立 （東京大学）

６．公理的集合論と一般位相空間論

１２月１５日（金）から１２月１７日（日）
南山大学
問い合わせ先：　宮元 忠敏 （南山大学）
E-mail：　miyamoto@iq.nanzan-u.ac.jp

７．数理論理学研究集会 ＭＬＧ

１月９日（火）から１月１２日（金）
KKR 湯沢 ゆきぐに
問い合わせ先：　古森雄一・桜井貴文 （千葉大学）
E-mail：　mlg-admin@math.s.chiba-u.ac.jp

済．数学基礎論サマースクール

２０００年８月７日（月）から８月１０日（木）
東海大学の山中湖セミナーハウス（予定）
今年のテーマは「モデル理論」
講演予定者：　坪井明人、Frank Wagner(リヨン大学)他
問い合わせ先：　桔梗宏孝（東海大学理学部情報数理学科）
E-mail：　kikyo@ss.u-tokai.ac.jp
Homepage：　http://www.ss.u-tokai.ac.jp/~LSS2000/

済．ＪＡＭＳ年会

２０００年８月２９日（火）から９月１日（金）
大阪府立大学　交流会館
Homepage：　http://www.jams.or.jp/meeting/2000.html

済．A workshop in Kobe

２０００年９月２日（土）から９月４日（月）
神戸市 富士ゼロックス総合教育研究所
内容：Shelahの講義など（詳細未定）
問い合わせ先：　Joerg Brendle（神戸大学自然科学研究科）
E-mail：　brendle@kurt.cla.kobe-u.ac.jp

済．日本数学会

２０００年９月２４日（日）から９月２７日（水）
京都大学 総合人間学部

済．記号論理学と情報科学 研究集会 SLACS 2000

９月２７日（水）から９月２９日（金）
京都大学 理学研究科 数学教室
問い合わせ先：　亀山幸義（京都大学 情報学研究科）
E-mail：　slacs-kanji@kuis.kyoto-u.ac.jp
Homepage：　http://www.sato.kuis.kyoto-u.ac.jp/SLACS/

1997年度の研究集会

1998年度の研究集会

1999年度の研究集会

田中研究室のホームページ