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

Kobe, Japan



n  Scope

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.

n  Venue

Takigawa 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.)

n  Program

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

-        Reception:
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)

n  Registration

To register, please e-mail Teruyuki Yorioka ( with subject “SAML2018”,
providing the following information:

-        Name:

-        Affiliation:

-        E-mail:

-        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

n  Accommodation

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

Symposium on Mathematical Logic 2003 (Takeuti Symposium)

n  Program Committee

Toshiyasu Arai (Chiba)
Makoto Kikuchi (Kobe)
Satoru Kuroda (Gunma Prefectural Women’s University)
Mitsuhiro Okada (Keio University)
Teruyuki Yorioka (Shizuoka)

n  Sponsors

KAKENHI: JSPS Grant-in-Aid for Scientific Research
Japan Association for Philosophy of Science

n  Contact

For registration and program: Teruyuki Yorioka (
For information about Kobe, reception and banquet: Makoto Kikuchi (