Takeuti Memorial Symposium, Kobe, September 18 – 20, 2018

AML 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


  • 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.

  • Venue

Takigawa Memorial Hall, Rokkodai Campus, Kobe University
1-1 Rokkodai, Nada, Kobe 657-8501, Japan

  • Invited Speakers

Samuel R. Buss (San Diego)
Wilfried Sieg (CMU)
(Other invited speakers will be announced later.)

  • Proceedings Volume

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

  • 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

  • Previous Related Event

Symposium on Mathematical Logic 2003 (Takeuti Symposium)

  • Organizers

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

  • Sponsors

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

  • Contact

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


Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.