**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**

Dear all,

We are pleased to announce the international conference

SAML 2018 / Takeuti Memorial Symposium

Symposium on Advances in Mathematical Logic 2018

Dedicated to the Memory of Professor Gaisi Takeuti (1926-2017)

http://www2.kobe-u.ac.jp/~mkikuchi/saml2018/

This will take place from September 18th to 20th, 2018,

at the Takigawa Memorial Hall, Rokkodai Campus, Kobe University, in Japan.

Program comittee:

Toshiyasu Arai (Chiba)

Makoto Kikuchi (Kobe)

Satoru Kuroda (Gunma Prefectural Women’s University)

Mitsuhiro Okada (Keio University)

Teruyuki Yorioka (Shizuoka)

Confirmed invited speakers:

Samuel R. Buss (San Diego)

Wilfried Sieg (CMU)

Mariko Yasugi (Kyoto)

(Other invited speakers will be announced later.)

Scope:

Mathematical logic and related areas including (but not restricted to)

proof theory, set theory, computability theory, model theory, philosophical

logic, theoretical computer science, philosophy of mathematics.

Contributed talks:

Each contributed talk is planned to be approx. 30 min

(this may change according to the number of talks).

Proceedings Volume:

The proceedings volume of selected and revised papers based on the talks

will be published after the symposium.

Important Dates (tentative):

Deadline of abstracts for contributed talks: July 31, 2018

Symposium: September 18-20, 2018

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

Publication of the proceedings volume: December 2019

Parties:

The reception will be held on September 18th evening at Takigawa Memorial

Hall

(conference venue). It will cost 4,000JPY (tentative).

The banquet (Toshiyasu Arai 60th birthday celebration) will be held on

September 19th evening.

It will cost 12,000JPY (tentative). The place will be announced later.

Registration:

Send an e-mail to Teruyuki Yorioka yorioka@shizuoka.ac.jp with subject “SAML2018”, and please provide the following information.

The deadline of the registration is July 31st, 2018.

- Name:
- Affiliation:
- E-mail:
- Contributed talk: (yes/no) if yes, please attach title and abstract (about5 to 10 lines)
- Parties: Reception (yes/no), Banquet (yes/no)

For any inquiry concerning the workshop, please contact

Makoto Kikuchi mkikuchi@kobe-u.ac.jp

Teruyuki Yorioka yorioka@shizuoka.ac.jp