[kisoron-ml] 証明論研究集会のご案内（第２報）

[Suzuki Toshio]

証明論研究集会のご案内（第２報）

皆様

首都大学東京の鈴木登志雄です。
さて、毎年恒例の証明論と関連分野（証明論、逆数学、限定算術、非古典論理、
リカージョン、アルゴリズム的ランダムネス、計算量理論、ゲーム理論における
論理学的問題など）のワークショップを以下のように開催することになりました。
皆様のご講演、ご参加を心よりお待ち申し上げます。

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

ご講演いただける方は、プログラム作成のため、以下にご記入の上、８月２６日
（土）までに鈴木登志雄宛にご連絡お願いします。未定の部分はわかる範囲でご
記入ください。

宛先 toshio-suzuki at tmu.ac.jp

---------------------------------------------

お名前：

ご所属：

参加日程：

講演： 講演予定(連絡済)/ 講演予定/ 講演はしない

講演希望時間： 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

-- 
鈴木登志雄
首都大学東京
理工学研究科 数理情報科学専攻
toshio-suzuki at tmu.ac.jp