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 yorioka(a)shizuoka.ac.jp 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 mkikuchi(a)kobe-u.ac.jp
for registration or program: Teruyuki Yorioka yorioka(a)shizuoka.ac.jp
