Logic-ml の皆様，
下記の要領で証明論及び計算可能性理論に関するワークショップ を開催いたします．
=========================================================== Workshop on Proof Theory and Computability Theory 2012 - Philosophical Frontiers in Reverse Mathematics
日時：2012年2月20日〜23日 場所：晴海グランドホテル (東京都中央区) ワークショップホームページ： http://www.math.tohoku.ac.jp/~eguchi/Workshop2012/Workshop_on_Proof_Theory_a... ===========================================================
参加・講演申し込み締め切り： 2月3日(金) （会場準備のため，早めにお申し込みください．）
参加費(宿泊する場合)： 一般：32,000円，学生：25,000円 (三泊＋参加費) (21日朝昼食，21日懇親会，22日朝昼夕食，23日朝食が含まれます． 20日の夕食は含まれません．) 宿泊短縮については，個別に相談に応じます． 部屋はツインもしくはトリプルの相部屋になります． シングルはかなり高額になりますが，ご希望の方はご相談ください．
参加費(宿泊しない場合)： 一般：2,000円，学生：1,000円 (全日程で) (お茶代・資料印刷代等に利用させていただきます． 食事は含まれません．) 懇親会(21日夜，晴海グランドホテル)： 一般：5,000円，学生：3,000円程度
参加をご希望の方は本文末のフォームにご記入いただき 下記宛てにご返送ください． （★ 講演しない場合にも，事前申し込みが必要です．）
江口直日: eguchi@math.tohoku.ac.jp
皆様のご参加をお待ちいたしております．
Kazuyuki Tanaka, Andreas Weiermann, Toshiyasu Arai, Naohi Eguchi, Hajime Ishihara, Sam Sanders, and Takeshi Yamazaki.
------------------- ここから ------------------------------------
氏名(日本語)： 氏名(英語)： 所属(日本語)： 所属(英語)： 身分： 学生・一般 (どちらかをお選びください) 参加日程： 宿泊： 有・無 (どちらかをお選びください) 2月21日(火)の懇親会： 参加・不参加 (どちらかをお選びください) 講演： 有・無 (どちらかをお選びください) 講演題目(英語)： 講演要旨(英語)： (ごく標準的な Latex コマンド，Latex 環境はご使用いただけます)
------------------- ここまで ------------------------------------