SAML 2018 (Takeuti Memorial Symposium)
Symposium on Advances in Mathematical Logic 2018
Dedicated to the Memory of Professor Gaisi Takeuti (1926-2017)
September 18 (Tue) - 20 (Thu), 2018
Mathematical logic and related areas including, not restricted to,
proof theory, set theory, computability theory, model theory, philosophical logic,
theoretical computer science, philosophy of mathematics.
Memorial Hall, Rokkodai Campus, Kobe University
1-1 Rokkodai, Nada, Kobe 657-8501, Japan
n Invited Speakers
Samuel R. Buss (San Diego)
Jean-Yves Girard (Marseille)
Wilfried Sieg (CMU)
Mariko Yasugi (Kyoto)
(Other invited speakers will be announced later.)
n Contributed Talks
Each contributed talk is planned approximately 30 min.
(This will be varied according to the number of contributed talks.)
Program will be announced in August, 2018.
n Proceedings Volume
A proceedings volume will be published after the symposium as a
volume in the book series
Springer Proceedings in Mathematics and Statistics.
- Deadline: March, 2019
- Publication: Spring, 2020
Detailed information will be announced to the speakers of the contributed talks.
n Reception and Banquet
September 18, Takigawa Memorial Hall, 4,000JPY (tentative)
Banquet (celebrating the
60th birthday of Professor Toshiyasu Arai):
September 19, the place is not fixed, 12,000JPY (tentative)
To register, please e-mail Teruyuki Yorioka (firstname.lastname@example.org)
with subject “SAML2018”,
providing the following information:
Contributed talk: (yes/no)
If yes, please attach title and abstract (from 5 to 10 lines).
- Reception (yes/no)
- Banquet (yes/no)
Deadline: July 31, 2018
We do not reserve hotels for the participants.
We recommend hotels in Sannomiya or Motomachi, Kobe.
n Important Dates
Deadline of submission of contributed talk: July 31, 2018
Symposium: September 18-20, 2018
Deadline of full papers for the proceedings volume: March, 2019
Publication of the proceedings volume: Spring 2020
n Previous Related Event
n Program Committee
Makoto Kikuchi (Kobe)
Satoru Kuroda (Gunma Prefectural Women’s University)
Mitsuhiro Okada (Keio University)
Teruyuki Yorioka (Shizuoka)
KAKENHI: JSPS Grant-in-Aid for Scientific Research
Japan Association for Philosophy of Science
For registration and program: Teruyuki Yorioka (email@example.com)
For information about Kobe, reception and banquet: Makoto Kikuchi (firstname.lastname@example.org)