[TYPES/announce] 10th Asian Logic Conference, Kobe, Japan, 2008 (first announcement)
Peter Schuster
pschust at mathematik.uni-muenchen.de
Fri Sep 28 05:36:13 EDT 2007
The 10th Asian Logic Conference will be held at Kobe University, Kobe, Japan
during September 1-6, 2008.
Several short course lectures (four hours each), plenary invited talks (one
hour each) and special sessions are planned apart from contributed talks.
The Asian Logic Conference has occurred every three years in Asia-Pacific
region since 1981, Singapore. The purpose of the conference is to facilitate
interaction between researchers interested in mathematical logic, logic in
computer science, and philosophical logic. It aims at promoting activities in
mathematical logic in the Asia-Pacific so that logicians both from within Asia
and elsewhere would get together and exchange information and ideas.
Call for papers will begin in the coming winter, and the registration in an
early spring, 2008.
Please write down in your notebook as 'ALC, Kobe, Sep. 1-6, 2008'.
Thank you,
Toshiyasu Arai
Graduate School of Engineering
Kobe University
Rokko-dai, Nada-ku, Kobe, 657-8501, Japan
More information about the Types-announce
mailing list