TAKEUTI SYMPOSIUM

SYMPOSIUM ON MATHEMATICAL LOGIC '03

in Honor of 50 Years of Takeuti's Conjecture
and Gaisi Takeuti's 77th Birthday

December 17 - 19, 2003, Kobe


Overview

The Symposium on Mathematical Logic is a series of meetings on mathematical logic in a broad sense, supported by the Division of Mathematical Logic of the Mathematical Society of Japan. This year's symposium was held in honor of 50 years of Takeuti's Conjecture and Gaisi Takeuti's 77th birthday (the Age of Joy, in Japanese tradition) at Centennial Hall (Shindai-Kaikan) of Kobe University. The symposium was divided into two sections, namely

The first part features invited talks related to Takeuti's work and a panel discussion on Takeuti's Conjecture. The second part consists of invited and contributed talks in all areas of mathematical logic. In the symposium, 9 invited talks and 18 contributed talks were presented and there were 100 participants from 9 coountries.

Organization

Invited Speakers

Banquet

The banquet of the symposium, in celebration of Gaisi Takeuti's 77th birthday, was held in the evening of December 17 at a restraurant SOSHUEN. (In Japanese tradition, 77 years old is called "the Age of Joy", since the Chinese characters for "77" bear a resemblance to the Chinese character for "Joy".)

Sponsors


Participants

The list of the participants of the symposium is here.

Photos


Program

December 17 (Wed), 2003

December 18 (Thu), 2003

December 19 (Fri), 2003


Invited Talks

December 17 (Wed), 2003

December 18 (Thu), 2003

December 19 (Fri), 2003


Contributed Talks

December 17 (Wed), 2003

[Session 1A, Chair: M. Kumabe (U. of the Air)]

[Session 1B, Chair: T. Miyamoto (Nanzan)]

December 18 (Thu), 2003

[Session 2A, Chair: Y. Andou (Hosei)]

[Session 2B, Chair: S. Fuchino (Chubu)]

December 19 (Fri), 2003

[Session 3A, Chair: K. Tanaka (Tohoku)]

[Session 3B, Chair: K. Eda (Waseda)]
Contact

For further information, please contact:

Toshiyasu Arai
Graduate School of Science and Technology, Kobe University, Kobe 657-8501, Japan
E-mail: arai@kurt.scitec.kobe-u.ac.jp, Tel/Fax: 078-803-6245

Last Modified December 24, 2003