Dear all,
We are pleased to announce the international conference
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/
This will take place from September 18th to 20th, 2018, at the Takigawa Memorial Hall, Rokkodai Campus, Kobe University, in Japan.
Program comittee: Toshiyasu Arai (Chiba) Makoto Kikuchi (Kobe) Satoru Kuroda (Gunma Prefectural Women’s University) Mitsuhiro Okada (Keio University) Teruyuki Yorioka (Shizuoka)
Confirmed invited speakers: Samuel R. Buss (San Diego) Wilfried Sieg (CMU) Mariko Yasugi (Kyoto) (Other invited speakers will be announced later.)
Scope: Mathematical logic and related areas including (but not restricted to) proof theory, set theory, computability theory, model theory, philosophical logic, theoretical computer science, philosophy of mathematics.
Contributed talks: Each contributed talk is planned to be approx. 30 min (this may change according to the number of talks).
Proceedings Volume: The proceedings volume of selected and revised papers based on the talks will be published after the symposium.
Important Dates (tentative): Deadline of abstracts for contributed talks: July 31, 2018 Symposium: September 18-20, 2018 Deadline of full papers for the proceedings volume: March, 2019 Publication of the proceedings volume: December 2019
Parties: The reception will be held on September 18th evening at Takigawa Memorial Hall (conference venue). It will cost 4,000JPY (tentative). The banquet (Toshiyasu Arai 60th birthday celebration) will be held on September 19th evening. It will cost 12,000JPY (tentative). The place will be announced later.
Registration: Send to Teruyuki Yorioka [email protected] with subject "SAML2018", and please provide the following information. The deadline of the registration is July 31st, 2018.
Name: Affiliation: E-mail: Contributed talk: (yes/no) if yes, please attach title and abstract (about 5 to 10 lines) Parties: Reception (yes/no), Banquet (yes/no)
For any inquiry concerning the workshop, please contact
for parties: Makoto Kikuchi [email protected] for registration or program: Teruyuki Yorioka [email protected]