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)