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)