２００３年度関係研究集会

１．モデル理論夏の勉強会

２００３年７月２９日(火) ～７月３１日(木)
大学セミナーハウス、八王子市下柚木1987-1
問い合わせ先：　新井広（福島高専）
E-mail：　arai@fukushima-nct.ac.jp
Homepage：　 http://www.fukushima-nct.ac.jp/~gen/math/summer2003/index.html

２．数学史の研究

２００３年８月２５日(月) ～８月２８日(木)
京都大学数理解析研究所
問い合わせ先：　小松彦三郎 (東京理科大学)

３．証明論2003

２００３年８月３１日(日) ～９月２日(火)
法政大学市ヶ谷キャンパス内、ボアソナードタワー２６階Ａ会議室
問い合わせ先：　安東祐希（法政大学文学部）
E-mail：　norakuro@i.hosei.ac.jp
Homepage：　 http://www.i.hosei.ac.jp/~norakuro/pt2003/mokuji.html

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

２００３年９月３日(水) ～９月６日(土)
静岡大学理学部
テーマ：　非古典論理
問い合わせ先：　鈴木信行（静岡大学理学部数学教室）
E-mail：　smnsuzu@ipc.shizuoka.ac.jp
Homepage：　 http://www.ipc.shizuoka.ac.jp/~smnsuzu/summerschool/Notice.html

５．実数の集合論と計算論

２００３年１０月２８日(火) ～１０月３０日(木)
京都大学数理解析研究所
問い合わせ先：　藤田博司（愛媛大学理学部数学教室）
E-mail：　fujita@math.sci.ehime-u.ac.jp
Homepage：　 http://www.math.sci.ehime-u.ac.jp/%7Efujita/rims-conf-2003.html

６．数学基礎論若手の会

２００３年１1月２８日(金) ～１１月３０日(日)
東海大学山中湖セミナーハウス
問い合わせ先：　山崎　武（大阪府立大学）
E-mail：　yamazaki@mi.cias.osakafu-u.ac.jp
Homepage：　 http://wwwmi.cias.osakafu-u.ac.jp/~yamazaki/yl2003.html

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

２００３年１２月１日(月)から１２月３日(水)
静岡大学理学部
問い合わせ先：　鈴木信行（静岡大学理学部数学教室）
E-mail：　smnsuzu@ipc.shizuoka.ac.jp
Homepage：　 http://www.ipc.shizuoka.ac.jp/~smnsuzu/MLG_Meeting/MLGNotice.html

８．竹内（外史）シンポジウム

２００３年１２月１７日(水) ～１２月１９日(金)
神戸大学百年記念館
世話人：小野寛晰（北陸先端科学技術大学院大学; ono@jaist.ac.jp)
世話人：角田譲(神戸大学; kakuda@kobe-u.ac.jp)
Homepage：　 http://kurt.scitec.kobe-u.ac.jp/sml03/

９．QUICS SENDAI

２００４年２月１９日
東北大学大学院情報科学研究科棟２F大講義室
問い合わせ先：　山崎　武（大阪府立大学）
E-mail：　yamazaki@mi.cias.osakafu-u.ac.jp
Homepage：　 http://wwwmi.cias.osakafu-u.ac.jp/~yamazaki/info/quics-sendai2.html