Logic List Mailing Archive

Takeuti Symposium, Kobe Dec 2003

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

http://kurt.scitec.kobe-u.ac.jp/sml03/


Aim and Scope

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 will be held in honor of 50 years of Takeuti's Conjecture and
Gaisi Takeuti's 77th birthday (the Age of Joy, in Japanese tradition). It
will be divided into two sections, namely

    * 50 Years of Takeuti's Conjecture
    * Recent Developments in Mathematical Logic

The first part will feature invited talks related to Takeuti's work and a
panel discussion on Takeuti's Conjecture. The second part will consist of
invited and contributed talks in all areas of mathematical logic.

Organization

* Program Committee: T. Arai (Kobe), J. Brendle (Kobe), Y. Kakuda (Kobe,
co-chair), M. Okada (Keio), H. Ono (JAIST, co-chair)

* Local Organizing Committee: M. Banbara (Kobe), M. Kikuchi (Kobe, chair),
I. Nagasaka (Kobe), A. Suzuki (Kobe)

Invited Talks and Panel Discussion

We expect to have several one hour invited talks related to Takeuti's
work. Invited speakers include (to be confirmed): S. Buss (San Diego), P.
Hajek (Prague), G. Mints (Stanford), W. Pohlers (Muenster), G. Takeuti, M.
Yasugi (Kyoto), M. Yasumoto (Nagoya). A panel discussion on Takeuti's
Conjecture by the invited speakers is also planned on the first day.

Contributed Talks

Contributed talks are invited in all areas of mathematical logic in a
broad sense, including applications in computer science, philosophy and
linguistics. The official language of the symposium is English, but
Japanese presentations with English slides are also acceptable.