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
http://www.kobe-u.ac.jp/en/campuslife/campus_guide/campus/rokkodai2.html
1-1 Rokkodai, Nada, Kobe 657-8501, Japan

n  Invited Speakers

Samuel R. Buss (UCSD)
Jean-Yves Girard (Marseille)
Kanji Namba (Prof. Emeritus, U. of Tokyo) [pdf]
Masanao Ozawa
Wilfried Sieg (CMU)
Mariko Yasugi (Prof. Emeritus, Kyoto Sangyo U.)

n  Contributed Talks

Submission of contributed talks has been closed.

n  Program

 

September 18 (Tue)

September 19 (Wed)

September 20 (Thu)

10:00-10:30

 

Daichi Hayashi

Sohei Iwata

10:35-11:05

opening (11:10-11:20)

Mamoru Kaneko

Taishi Kurahashi

11:20-12:20

Jean-Yves Girard

Wilfried Sieg

Samuel R. Buss

12:20-13:20

lunch break

13:20-14:20

Kanji Namba

Masanao Ozawa

Mariko Yasugi

14:35-15:05

Yasuo Yoshinobu

Norbert Preining

Tadatoshi Miyamoto

15:10-15:40

Yo Matsubara

Keita Yokoyama

Sakae Fuchino

15:55-16:25

Daisuke Ikegami

NingNing Peng

closing (15:40-15:50)

16:30-17:00

Toshimichi Usuba

Takayuki Kihara

 

17:05-17:35

Hidenori Kurokawa

Mariko Yasugi

 

n  Titles and Abstracts
Titles and abstracts of the invited and contributed talks are here.

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, 18:00-20:00, Takigawa Memorial Hall (The Conference Building)
4,500JPY

-        Banquet (celebrating the 60th birthday of Professor Toshiyasu Arai):
September 19, 19:00-21:00, THE GARDEN PLACE SOSHUEN, 5 min walk from Hankyu Mikage Station
https://soshuen.jp/en/
10,000JPY

n  Registration

To register, please e-mail Teruyuki Yorioka (yorioka@shizuoka.ac.jp) 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  Registration Fee

Free

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  Organizer

Makoto Kikuchi (Kobe, chair)
Hiroshi Sakai (Kobe)
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 (yorioka@shizuoka.ac.jp)
For information about the symposium in general: Makoto Kikuchi (mkikuchi@kobe-u.ac.jp)