[logic-ml] Workshop on Proof Theory and Computability Theory 2012

[Naohi Eguchi]

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_and_Computability_Theory2012/
===========================================================

参加・講演申し込み締め切り：
2月3日(金)　（会場準備のため，早めにお申し込みください．）

参加費(宿泊する場合)：
一般：32,000円，学生：25,000円　(三泊＋参加費)
(21日朝昼食，21日懇親会，22日朝昼夕食，23日朝食が含まれます．
20日の夕食は含まれません．)
宿泊短縮については，個別に相談に応じます．
部屋はツインもしくはトリプルの相部屋になります．
シングルはかなり高額になりますが，ご希望の方はご相談ください．

参加費(宿泊しない場合)：
一般：2,000円，学生：1,000円　(全日程で)
(お茶代・資料印刷代等に利用させていただきます．
食事は含まれません．)
懇親会(21日夜，晴海グランドホテル)：
一般：5,000円，学生：3,000円程度

参加をご希望の方は本文末のフォームにご記入いただき
下記宛てにご返送ください．
（★　講演しない場合にも，事前申し込みが必要です．）

江口直日: eguchi at math.tohoku.ac.jp

皆様のご参加をお待ちいたしております．

Kazuyuki Tanaka, Andreas Weiermann,
Toshiyasu Arai, Naohi Eguchi, Hajime Ishihara, Sam Sanders, and Takeshi
Yamazaki.

------------------- ここから ------------------------------------

氏名(日本語)：
氏名(英語)：
所属(日本語)：
所属(英語)：
身分：　学生・一般　(どちらかをお選びください)　
参加日程：
宿泊：　有・無　(どちらかをお選びください)
2月21日(火)の懇親会：　参加・不参加　(どちらかをお選びください)
講演：　有・無　(どちらかをお選びください)
講演題目(英語)：
講演要旨(英語)：
(ごく標準的な Latex コマンド，Latex 環境はご使用いただけます)

------------------- ここまで ------------------------------------