[logic-ml] 研究集会：証明論と計算論の数理科学への展開

[YOKOYAMA Keita]

皆様，

この度以下のように、東北大学と北陸先端科学技術大学院大学の共催で
研究集会を開催することとなりました。
奮ってご参加ください．

研究集会名：　証明論と計算論の数理科学への展開
日時：　平成23年2月21日（月）〜2月24日（木）
20日（日）　チェックイン・受付
21日（月）　午前 problem session 1
21日（月）　午後〜23日（水）　午前 main sessions
23日（水）　午後 student session
24日（木）　午前 problem session 2
場所：　秋保温泉　岩沼屋（仙台市）
http://www.iwanumaya.co.jp/

Organizers:　田中一之、石原　哉
Local organizers:　山崎武、Sam Sanders、江口直日、横山啓太

研究集会の詳細につきましては以下のホームページを御覧ください．
(随時更新されます．)
http://www.jaist.ac.jp/is/labs/ishihara-lab/wptct2011/

会場の大きさの関係上，参加される方は事前に以下のフォームにて申し込みを御願いいたします．
短い期間で恐縮ですが，1月31日を締め切りとさせていただきます．
岩沼屋への宿泊をご希望の方は併せてお申し込みください．

----------------------------------------------
申込フォーム

氏名：
所属：
所属機関住所：〒
電話番号：
メールアドレス：

参加希望
宿泊なしの場合：21日/22日/23日/24日
※宿泊なしの参加の場合，1日につき1000円程度の参加費(会場使用料)をお願いいたします．

宿泊を希望する場合：　日から　日まで　泊　日．(20日から24日の期間のうち)
※宿泊の際の料金は以下の通りです．
学生部屋(和室大部屋)：8000円/1泊2食，相部屋(和室)：10000円/1泊2食，個室(洋室シングル)：12000円/1泊2食
(いずれも予定，人数により変更の可能性があります．また，室数の関係からご希望に添えない場合がございます，
あらかじめご了承ください．)
上記料金は，1泊につき夕・朝食に加え期間中の会場使用料を含みます．

横山啓太
-- 
Keita Yokoyama
Mathematical Institute, Tohoku University
Aoba, Sendai, JAPAN, 980-8578
y-keita at math.tohoku.ac.jp