[FOM] Third Call for Papers: ALC10
pschust at mathematik.uni-muenchen.de
Thu May 15 09:28:00 EDT 2008
Third CALL FOR PAPERS and REGISTER NOW
Tenth Asian Logic Conference
September 1-6, 2008, Kobe, Japan.
DEADLINE: May 31, 2008 for paper submission
Abstracts of contributed talks must follow
the Rules for Abstracts of the ASL
and should be written in ENGLISH.
They should be submitted as email attachments
BOTH as a LaTeX file AND as a pdf file
alc10submit at kurt.scitec.kobe-u.ac.jp
by the Deadline of May 31, 2008.
We will acknowledge receipt of your paper submission,
and notify you about acceptance / rejection of your paper
a few days later.
Abstracts of contributed talks submitted by ASL members will be published
in The Bulletin of Symbolic Logic.
Complete the online registration form on
by the DEADLINE of June 30, 2008.
The registration fee: 2,000 JPY
Please note that you need to register
EVEN IF you submit abstracts.
Limited student support will be available for graduate students in logic.
BANQUET, ACCOMMODATION and EXCURSION
For information on registration, student support, banquet, accommodation and
The Asian Logic Conference has occurred every three years
in the 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 logics. 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
Tutorials will be given by P. Cholak, G. Hjorth and B. Kim.
Plenary invited speakers include: J. Avigad, J. Moore, K. Terui and Y. Yang.
Three special sessions are planned with speakers in parentheses:
Model Theory and Proof Theory (M. Beeson, D. Bridges, I. Herzog, K. Ikeda,
M. Kanazawa, T. Scanlon, A. Woods),
Set Theory (D. Aspero, L. Ding, S. Geschke, M. Kojman, M. Shioya,
S. Solecki, T. Yorioka, Y. Yoshinobu)
Recursion Theory (J. Franklin, N. Greenberg, B. Kjos-Hansen,
M. Kumabe, K. Tanaka, L. Yu, W. Wang, G. Wu)
The Program Committee:
J. Brendle, C. T. Chong, R. Downey, Q. Feng,
H. Kikyo, H. Ono, and T. Arai (Chair).
The Local Organizing Committee includes:
M. Banbara, H. Minami, I. Nagasaka, A. Suzuki, and M. Kikuchi (Chair).
For further information, visit
More information about the FOM