第15回記号論理と情報科学の研究集会 (SLACS'98)


 来到る10月14日より東北大学におきまして、標記研究集会が
開催されます。記号論理学や情報科学の基礎理論分野に関心のある
皆様方の御参加を、心よりお待ちしております。

●場所・日時

    東北大学理学部数学教室川井ホール
    1998年10月14日(水)より16日(金)まで

●招待講演(英語)

ウェイナー先生(リーズ大学)
  「証明論と複雑さ」
バイアマン先生(ミュンスター大学)
  「ゲーデルの体系Tの計算列の長さの厳しい上限」

 招待講演の梗概はこちらをご覧下さい。

●一般講演
  プログラム 講演梗概

●関連研究会『MAK』についてはこちらをご覧下さい。

●仙台宿泊情報

 宿泊はご自身にてお手配下さいますようお願い致します。

●会場案内
   仙台駅前バス停案内
  [仙台駅周辺図] [大学周辺図] [詳細図]

●幹事の連絡先

 電子メール: slacs-kanji@sato.kuis.kyoto-u.ac.jp

 郵便:  〒606−8501(専用郵便番号住所不要)
      京都大学情報学研究科  竹内 泉

 FAX: 075(753)4954

(最終更新:10月9日)

▲ SLACSの頁