来到る10月14日より東北大学におきまして、標記研究集会が
開催されます。記号論理学や情報科学の基礎理論分野に関心のある
皆様方の御参加を、心よりお待ちしております。
●場所・日時
東北大学理学部数学教室川井ホール
1998年10月14日(水)より16日(金)まで
●招待講演(英語)
ウェイナー先生(リーズ大学)
「証明論と複雑さ」
バイアマン先生(ミュンスター大学)
「ゲーデルの体系Tの計算列の長さの厳しい上限」
招待講演の梗概はこちらをご覧下さい。
●一般講演
プログラム 講演梗概
●関連研究会『MAK』についてはこちらをご覧下さい。
●仙台宿泊情報
宿泊はご自身にてお手配下さいますようお願い致します。
●会場案内
仙台駅前バス停案内
[仙台駅周辺図]
[大学周辺図]
[詳細図]
●幹事の連絡先
電子メール:
slacs-kanji@sato.kuis.kyoto-u.ac.jp
郵便: 〒606−8501(専用郵便番号住所不要)
京都大学情報学研究科 竹内 泉
FAX: 075(753)4954
(最終更新:10月9日)