[logic-ml] 数学基礎論若手の会2010 プログラム

[leibniz]

logic-mlの皆様，

2010年度数学基礎論若手の会の幹事をしております
愛知学院大学の山下と申します．
大変遅れて申し訳ありませんが、本年度の若手の会（11月19日−21日）
の講演プログラムができましたので、ご案内申し上げます．
詳細は数学基礎論若手の会2010ホームページ
http://www.aichi-gakuin.ac.jp/~yamasita/wakate-no-kai2010.html
をご覧ください。
なお，宿泊を伴う参加者は締め切りましたが，宿泊を伴わない参加者は
まだ受け付けますので，ご検討いただければ幸いです．

-----------

11/19	（第３研修室）
  13:30-14:00	朝比奈佑樹 (名古屋大学)
			Kripke models とScott-Montague semanticsについて
  14:00-14:40	井澤昇平 (東北大学理学研究科数学専攻)	
			高階算術における抽象論
  14:40-15:10	岩波克 (東京工業大学数理計算科学専攻)	未定
  15:40-16:10	嘉田 勝 (大阪府立大学 大学院理学系研究科)	未定
  16:10-16:40	上條良介 (早稲田大学　基幹理工学部)	
			homeomorphisms on generalized planes
  16:40-17:40	木原貴行 (東北大学大学院理学研究科)	未定
11/20	（第１研修室）			
  09:20-10:20	倉橋太志 (神戸大学)	
			First-order provability logic
  10:30-11:10	小島健介 (京都大学 情報学研究科)	未定
  11:10-11:50	竹内耕太 (筑波大学数理物質科学研究科)	未定
  13:30-14:10	田中　勇一 (神戸大学大学院)
			モデル論における独立性について
  14:10-14:40	中村　順 (早稲田大学　基幹理工学研究科)
			Uncountable Specker phenomenon and n-slender groups
  14:50-15:30	石田和 (京都大学数理解析研究所)	未定
  15:30-16:10	樋口 幸治郎 (東北大学大学院理学研究科)	未定
  16:20-17:20	藤原誠 (東北大学理学研究科)
			Satisfiability problem and resolution principle
11/21	（第１研修室）		
  09:30-10:30	渕野 昌 (神戸大学大学院システム情報学研究科)
			Mystery train
  10:40-11:40	松尾亮太 (名古屋大学情報科学研究科)	
			ロジックのゲーム理論への応用

===========================================
愛知学院大学教養部
山下秀康
email: yamasita at dpc.aichi-gakuin.ac.jp
leibniz7 at gmail.com