[logic-ml] 数学基礎論とその応用

[Makoto Kikuchi]

皆様，

以前にもご案内しましたが，2016年9月26日（月）から29日（木）まで，
RIMS 研究集会「数学基礎論とその応用」を開催しますのでお知らせします．
http://www2.kobe-u.ac.jp/~mkikuchi/mla2016.html
事前登録なしで参加できます．また，以下の要領で懇親会を開きます．

日時：2016年9月28日（水）午後6時から
会場：マーブル ルーム https://www.hotpepper.jp/strJ000040535/
場所：京都府京都市中京区先斗町通三条下ル橋下町135先斗町ビル4F
交通：京阪三条駅から徒歩5分，阪急河原町駅から徒歩10分
内容：立食（飲み放題）
会費：3,000円（当日会場で支払い）

8月に研究集会への参加申し込みをお送り下さった方で，懇親会への出欠の
変更のない方はご連絡くださる必要はありません．出欠を変更される方，
未定とお答えになられた方，また，参加申し込みをなさっていない方で
懇親会への出席をご希望の方は，2016年9月24日（土）までに，研究代表者
（菊池）宛に件名「mla2016」として  e-mail でご連絡ください．

なお，本研究集会は研究交流を目的とするものですが，学部学生を含む
学生の方の研究集会および懇親会への参加を歓迎します．午前中の講演は
全て日本語です．ご興味をお持ちの方はご遠慮なくご参加ください．

菊池誠


				記

RIMS研究集会　数学基礎論とその応用

日時：2016年9月26日(月)11:00 ~ 9月29日(木)15:00 
場所：京都大学数理解析研究所111室 
研究代表者：菊池誠(神戸大)mkikuchi at kobe-u.ac.jp

プログラム：

9月26日(月)

11:00-11:50 宮元忠敏(南山大) 
	集合論で試される構造と構成のいくつか
13:30-14:20 Joel David Hamkins(CUNY)
	The Modal Logic of Set-Theoretic Potentialism
14:30-15:20 樋口幸治郎(日大工) 
	Computably Represented Structures
15:30-16:20 竹内耕太(筑波大)
	Properties Characterized by Generalized Indiscernible

9月27日(火)

10:00-10:50 新井敏康(千葉大) 
	角田先生, 証明論を分かって下さい
11:00-11:50 板井昌典(東海大) 
	1980年代半ば,米国中西部のモデル理論,そして未来-モデル理論賛歌
13:30-14:20 Frank Wager (Lion 大)
	Recent Interactions between Model Theory and Combinatorics
14:30-15:20 横山啓太(JAIST)
	On the Proof-Theoretic Strength of Ramsey's Theorem for Pairs
15:30-16:20 丸山善宏(京大)
	Dynamics of Duality: How Duality Emerges, Changes, and Breaks

9月28日(水)

10:00-10:50 向井国昭(慶応大) 
	Barwiseのモデル論的意味論の周辺と抽象設計学
11:00-11:50 金井康雄(大和大) 
	公理的集合論の一角を彷徨って
13:30-14:20 Bakh Khoussainov(Auckland 大/京都大) 
	Computably Enumerable Structures: Domain Dependence
14:30-15:20 星野直彦(京都大)
	Geometry of Interaction and Higher Order Functions
15:30-16:20 Diego Mejia(静岡大)
	Several Values in Cichon's Diagram

9月29日(木)

10:00-10:50 佐藤洋祐(東理大) 
	限量子記号消去アルゴリズムとその計算の現状について
11:00-11:50 隈部正博(放送大)
	Generic Sets の Turing Degrees について
13:30-14:20 Philip Welch(Bristol 大)
	Generalised Squares and Higher Stationarity