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)

Wilfried Sieg (CMU)

Mariko Yasugi (Kyoto)

(Other invited speakers will be announced later.)

n Proceedings Volume

A proceedings volume of selected and revised papers will be published
after the symposium.

n Important Dates (tentative)

Deadline of abstracts for contributed talk: July, 2018

Symposium: September 18-20, 2018

Deadline of full papers for the proceedings volume: March, 2019

Publication of the proceedings volume: December 2019

n Previous Related Event

Symposium
on Mathematical Logic 2003 (Takeuti Symposium)

n Organizer

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

Makoto Kikuchi (mkikuchi@kobe-u.ac.jp)