Logic List Mailing Archive

3rd CfP: Tenth Asian Logic Conference ALC 10, Kobe (Japan), 1-6 Sep 2008

Third CALL FOR PAPERS and REGISTER NOW

ALC 10
Tenth Asian Logic Conference
September 1-6, 2008, Kobe, Japan.
http://kurt.scitec.kobe-u.ac.jp/ALC10/

DEADLINE: May 31, 2008 for paper submission

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.

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.

REGISTRATION
Complete the online registration form on

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

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.

STUDENT SUPPORT
Limited student support will be available for graduate students in logic.

BANQUET, ACCOMMODATION and EXCURSION
For information on registration, student support, banquet, accommodation and 
excursion,
visit
http://kurt.scitec.kobe-u.ac.jp/ALC10/


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 (D. Aspero, 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/

-------------------------------------------------------------------