2014 Model Theory Summer Workshop
モデル理論夏の学校2014
モデル理論夏の学校は毎年夏に開催されるモデル理論のワークショップです。今年は以下の通り開催されます。
- 日時：2014年9月14−16日（日〜火曜）
- 場所：筑波大学 （茨城県つくば市天王台１−1−1）
- 会場：総合研究棟B 0110会議室
- アクセス：つくばエクスプレス「つくば駅」駅前ロータリー6番乗り場で「大学循環バス右回り」に乗車（約10分）、「第一エリア前」バス停にて下車。
- 会場付近地図：https://www.tsukuba.ac.jp/access/map_central.html
- バス時刻表：http://www.kantetsu.co.jp/bus/rosen/timetable/timetable/tc/02.pdf
- 世話人：竹内耕太 （筑波大学）
- 総合研究棟Ｂの写真です。
旅費援助：
限られた範囲内ですが希望者に旅費を一部援助できます。
講演される方や学生を優先したいと思いますが、希望される方は問い合わせてください。
連絡先: 参加希望者は竹内(kota@math.tsukuba.ac.jp)まで以下の情報を添えて連絡してください(当日の飛び入り参加も歓迎です)：
氏名、所属、講演希望の有無（あれば希望の日時）、講演タイトル（タイトルは後日でも可）
Program
９月１４日（日）
- 13:50- 事務連絡
午後の部：司会 竹内耕太
- 14:00- 14:45 川上智博（和歌山大学）, "Definable obstruction theory"
- 15:00- 15:45 井澤昇平（東北大学）, "primal algebra の行列積"
- 16:00- 16:45 板井昌典（東海大学）, "Recent topics in o-minimality"
９月１５日（月）
午前の部：司会 板井昌典
- 09:30- 10:10 柳川信（筑波大学）, "Existentially closed models of the theory of differential fields with a
cyclic automorphism"
- 10:20- 11:00 小林宗宏（筑波大学）, "The independence property of the TP_2 formulas"
- 11:10- 11:50 坪井明人（筑波大学）, "Infinitary method for finite combinatorics
"(joint work with Kota Takeuchi)
昼休憩
午後の部：司会 坪井明人
- 14:00- 14:45 栗山貴之（総合大学院大学/国立情報学研究所）, "On Grammatical Universality"
- 15:00- 15:45 池田宏一郎（法政大学）, "On near model completeness of generic structures"
- 16:00- 16:45 桔梗宏孝（神戸大学）, "On model completeness of generic structures"
懇親会
９月１６日（火）
午前の部：司会 池田宏一郎
- 09:30-10:10 竹内耕太（筑波大学）, "Generalized
VC-dimension and Zarankiewicz number"
- 10:20-11:00 福崎賢治（鹿児島国際大学）, "On uniruled fields"
- 11:10-11:50 岡本圭史（仙台高専）, "仕様検証とモデル理論"
参加者一覧（予定）
- 池田宏一郎（法政大学）
- 井澤昇平（東北大学）
- 板井昌典（東海大学）
- 岡部峻典(岡山大学)
- 岡本圭史（仙台高専）
- 川上智博（和歌山大学）
- 桔梗宏孝（神戸大学）
- 栗山貴之（総合研究大学院大学/国立情報学研究所）
- 小林宗広（筑波大学）
- 竹内耕太（筑波大学）
- 竹森一成（大川樟風高等学校）
- 坪井明人（筑波大学）
- 内藤丈博（筑波大学）
- 南雲彰
- 福崎賢治（鹿児島国際大学）
- 益岡幸弘（慶應義塾大学）
- 柳川信（筑波大学）
Last
updated: Aug. 27th, 2014