証明論研究集会のご案内（第２報）
皆様
首都大学東京の鈴木登志雄です。 さて、毎年恒例の証明論と関連分野（証明論、逆数学、限定算術、非古典論理、 リカージョン、アルゴリズム的ランダムネス、計算量理論、ゲーム理論における 論理学的問題など）のワークショップを以下のように開催することになりました。 皆様のご講演、ご参加を心よりお待ち申し上げます。
2011年 証明論と計算論研究集会 （WORKSHOP ON PROOF THEORY AND THEORY OF COMPUTING 2011） ９月１２日（月）から１４日（水）
東京都八王子市南大沢１−１ 首都大学東京 国際交流会館 中会議室
集会のウェブサイト http://www.ac.auone-net.jp/~bellp/meeting/proof2011.html
アクセス：京王相模原線南大沢駅、徒歩10分
新宿から南大沢までは電車で最速約３４分（京王線準特急・京王八王子行に乗 り、調布で京王相模原線急行・橋本行に乗り換え）。
http://www.tmu.ac.jp/university/campus_guide/access.html
ご講演いただける方は、プログラム作成のため、以下にご記入の上、８月２６日 （土）までに鈴木登志雄宛にご連絡お願いします。未定の部分はわかる範囲でご 記入ください。
---------------------------------------------
お名前：
ご所属：
参加日程：
講演： 講演予定(連絡済)/ 講演予定/ 講演はしない
講演希望時間： 60分 / （ 分を希望）
講演タイトル： (未定の場合は未定とご記入ください．)
備考： ---------------------------------------------
発表なしのご参加の場合も、会場確保のため上記の日までにご連絡いただけると 助かります。宛先は上記と同じです。
それでは、よろしくお願いいたします。
関連する最近の集会：
Feb. 2011, Workshop on Proof Theory and Computability Theory
http://www.jaist.ac.jp/is/labs/ishihara-lab/wptct2011/
Sep. 2010, Formal Systems and Computability Theory
http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/1729.html