[kisoron-ml] 証明論研究集会のご案内

[Suzuki Toshio]

証明論研究集会のご案内

皆様

首都大学東京の鈴木登志雄です。
さて、恒例の証明論研究集会を以下のように開催することになりました。
メーリングリストへの投稿に先立ってお知らせします。
皆様のご講演、ご参加を心よりお待ち申し上げます。

2011年 証明論と計算論研究集会
（WORKSHOP ON PROOF THEORY AND THEORY OF COMPUTING 2011）
９月１２日（月）から１４日（水）

東京都八王子市南大沢１−１
首都大学東京 国際交流会館 中ホール

アクセス：京王相模原線南大沢駅、徒歩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 Computality Theory

http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/1729.html

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