証明論研究集会のご案内
皆様
首都大学東京の鈴木登志雄です。 さて、恒例の証明論研究集会を以下のように開催することになりました。 メーリングリストへの投稿に先立ってお知らせします。 皆様のご講演、ご参加を心よりお待ち申し上げます。
2011年 証明論と計算論研究集会 （WORKSHOP ON PROOF THEORY AND THEORY OF COMPUTING 2011） ９月１２日（月）から１４日（水）
東京都八王子市南大沢１−１ 首都大学東京 国際交流会館 中ホール
アクセス：京王相模原線南大沢駅、徒歩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 Computality Theory
http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/1729.html