[logic-ml] SLS 2016：Vaught予想他

[Tanaka Kazuyuki]

皆様
冬の恒例行事となりました仙台ロジックスクールSLSを
本年も下記の日程で開催致します。

２０１６年１月２８日（木）～２９日（金） 
東北大学理学部青葉山キャンパス合同C棟
１階多目的室（サイエンスホールでない方）
備考：
昨年１２月に地下鉄東西線が開通しましたので、
仙台駅から青葉山駅まで１０分足らずで着き、
会場の理学部合同C棟は青葉山駅を出てすぐの所に
あります（１階にセブン・イレブンが見える建物）。

今回は主なチュートリアルとして、カリフォルニア大学
バークレー校のMontalban先生に、最近話題になっている
「Vaught予想」への計算可能性理論からの取り組みに
ついてご紹介いただくことになっています。
また、シンガポール南洋大学の呉国華先生には、
automatic sequences と transcendence property
についてご講演いただく予定です。
この他にもいくつか研究発表などを計画しています。
時間割の詳細などは、遅くなって申し訳ありませんが、
１月２０日頃ウェブサイトでご案内致します。
http://www.sendailogic.com/SLS2016/index_J.html
講演会自体は無料ですが、会場や懇親会等の付加的準備
の都合上、ご参加を予定される方は下記アドレスまで一言
ご連絡くだされば幸いです。
連絡先：sendailogicschool[at]gmail.com
尚、私は海外出張中のため、お問い合わせにはすぐお応え
できないかもしれませんが、どうぞ悪しからず。
広い分野から気楽なご参加をお待ちしております。

田中一之