1-6 September 2008
Kobe, Japan
First CALL FOR PAPERS ALC 10 Tenth Asian Logic Conference September 1-6, 2008, Kobe, Japan. http://kurt.scitec.kobe-u.ac.jp/ALC10/ DEADLINE: May 31, 2008 PAPER SUBMISSION Abstracts of contributed talks must follow the Rules for Abstracts of the ASL (http://www.aslonline.org/), and should be written in ENGLISH. They should be submitted as email attachments BOTH as a LaTeX file AND as a pdf file to alc10submit@kurt.scitec.kobe-u.ac.jp by the Deadline of May 31, 2008. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic. STUDENT SUPPORT Limited student support will be available and announced in future versions of this call. 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 and ideas. 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 (L. Ding, S. Geschke, M. Kojman, M. Shioya, S. Solecki, T. Yorioka, Y. Yoshinobu) and 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 http://kurt.scitec.kobe-u.ac.jp/ALC10/ ------ End of Forwarded Message