超準解析と数学基礎論のシンポジウム

2017年度の超準解析と数学基礎論のシンポジウムを、以下の通り開催いたします。
※この会議は超準解析シンポジウム の後継になりますが、今回は超準解析分野を始め、超準構造や超準手法及び関連する数学基礎論の話題を広く募集致します。

日時：12月15, 16日(金, 土)

場所：早稲田大学早稲田キャンパス
    11号館4階(12/15第四会議室，12/16第三会議室)

講演募集締め切り：11月30日

プログラム

Invited Speakers

チュートリアル: 江田勝哉
    数理論理学の使い方   (アブストラクト)

江田先生に、下記の本を元にチュートリアルをしていただく予定です．
数理論理学―使い方と考え方 -超準解析の入口まで- 江田 勝哉

招待講演: 倉橋太志（木更津高専）
    Rosser 証明可能性述語と超準的な証明

懇親会：12月15日 (5000円程度の予定です)

世話人：横山啓太(JAIST), 藤原誠(早稲田大学高等研究所)

WIASイベントページ

参加は登録無しでも可能ですが、できましたら以下のフォームに記入の上、

 y-keita[at]jaist.ac.jp

までメールにて事前にご連絡をいただけると幸いです。

===以下フォーム===

１．お名前
２．所属・身分
３．メールアドレス
４．懇親会に参加希望かどうか(あまり直前ですと希望に添えないかもしれません)
５．その他

===以上フォーム===