[logic-ml] Takeuti Memorial Symposium

[Makoto Kikuchi]

皆様，

秋の数学会の際にアナウンスしました，竹内外史先生を追悼するシンポジウム 
Takeuti Memorial Symposium（Symposium on Mathematical Logic 2018 / 仮称）を，
以下の要領で開催します．

日時：2018年9月18日（火）から20日（木）まで
場所：神戸大学 六甲台第2キャンパス内 瀧川記念学術交流会館（予定）
プログラム委員：新井敏康，岡田光弘，菊池誠，黒田覚，依岡輝幸
言語：英語
招待講演：竹内先生の研究業績に関係するもの．
一般講演：数学基礎論すべての領域（理論計算機科学および哲学を含む）
一般講演締切：未定（2018年7月頃を予定）
講義録：査読付き論文からなる講義録をシンポジウム後に出版予定．

詳細が決定しましたら改めてご連絡いたします．よろしくお願いします．

菊池誠