皆様，

静岡大学の依岡です。先日 logic-ml と kisoron-ml でお送りしました案内と同様 のものです。 竹内外史先生を追悼するシンポジウムを以下の要領で開催しますのでお知らせしま す。 多くの方々の講演をお待ちしております。レセプションとバンケットを企画しており ますので、 参加ご希望の方は申し込みをしてください。 よろしくお願いします。

SAML 2018 / Takeuti Memorial Symposium Symposium on Advances in Mathematical Logic 2018 Dedicated to the Memory of Professor Gaisi Takeuti (1926-2017)

http://www2.kobe-u.ac.jp/~mkikuchi/saml2018/

日時：2018年9月18日（火）から20日（木）まで 場所：神戸大学 六甲台第2キャンパス内 瀧川記念学術交流会館 プログラム委員：新井敏康，岡田光弘，菊池誠，黒田覚，依岡輝幸 言語：英語 招待講演者：S. Buss, J.-Y. Girard, W. Sieg, M, Yasugi （他の招待講演者は後に お知らせします） 一般講演： 領域：数学基礎論のすべての領域（理論計算機科学および哲学を含む） 講演時間：30分程度を予定（申込数に応じて変更します） 講義録：原則として一般講演に基づく，査読付き論文からなる講義録をシンポジウム 後に Springer Proceedings in Mathematics and Statistics から出版します。 投稿締切：2019年3月31日，出版：2020年春の予定．詳細は一般講演者にお伝えしま す。 懇親会： レセプション：2018年9月18日夜，会場：瀧川記念交流会館内，会費：4,000円程度 バンケット（新井敏康教授還暦祝）：2018年9月19日夜，会場：未定，会 費：12,000円程度

参加ご希望の方は以下の情報を2018年7月31日までに件名を「SAML2018」として email で依岡輝幸 yorioka@shizuoka.ac.jp までお送りください。 みなさまのご参加をお待ちしております。

---ここから--- 氏名： 所属： 連絡先 (email)： 一般講演の希望：有・無 （希望有の場合） 講演題目： アブストラクト（5行から10行程度）： 懇親会：レセプション（参加・不参加），バンケット（参加・不参加） ---ここまで---

連絡先： 会場および懇親会について：菊池誠 mkikuchi@kobe-u.ac.jp 講演参加申込およびプログラムについて：依岡輝幸 yorioka@shizuoka.ac.jp