Logic-ml July 2018

9 participants
11 discussions

SAML 2018 / Takeuti Memorial Symposium 講演募集
by Teruyuki YORIOKA 09 Jul '18

09 Jul '18

皆様，静岡大学の依岡です。竹内外史先生を追悼するシンポジウムについてのリマインダーです。講演をご希望でなくても、参加ご希望の方は申し込みをお願いします。お申し込みをいただいた方々には必ず依岡から返信をしております。申し込んだのに返信を受け取っていない方がいらっしゃいましたら、もう一度送信をお願いします（静岡大学のメールサーバーが今年の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 で依岡輝幸 yorioka(a)shizuoka.ac.jp までお送りください。みなさまのご参加をお待ちしております。 ---ここから--- 氏名：所属：連絡先 (email)：一般講演の希望：有・無（希望有の場合）講演題目：アブストラクト（5行から10行程度）：懇親会：レセプション（参加・不参加），バンケット（参加・不参加） ---ここまで--- 連絡先：会場および懇親会について：菊池誠 mkikuchi(a)kobe-u.ac.jp 講演参加申込およびプログラムについて：依岡輝幸 yorioka(a)shizuoka.ac.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml July 2018