皆様，

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

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

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

菊池誠