皆様，

静岡大学の依岡です。 竹内外史先生を追悼するシンポジウムについてのリマインダーです。 講演をご希望でなくても、参加ご希望の方は申し込みをお願いします。 お申し込みをいただいた方々には必ず依岡から返信をしております。 申し込んだのに返信を受け取っていない方がいらっしゃいましたら、 もう一度送信をお願いします（静岡大学のメールサーバーが今年の4月から 不調なのです）。 みなさまのご参加をお待ちしております。

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, M. Ozawa, 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 で依岡輝幸 [email protected] までお送りください。 みなさまのご参加をお待ちしております。

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

連絡先： 会場および懇親会について：菊池誠 [email protected] 講演参加申込およびプログラムについて：依岡輝幸 [email protected]