The Thirteenth Asian Logic Conference will be held in Guangzhou from September 16 to 20, 2013. The Asian Logic Conference series is sponsored by the Association for Symbolic Logic and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and applications, logic in computer science, and philosophical logics. It also aims at promoting activities of mathematical logic in the Asia-Pacific region and bringing logicians both from within Asia and elsewhere together to exchange information and ideas.
From 1981 to 2008, the Asian Logic Conference has been held triennially and rotated among countries in the Asia-Pacific region. The previous meetings took place in Singapore (1981), Bangkok (1984), Beijing (1987), Tokyo (1990), Singapore (1993), Beijing (1996), Hsi-Tou (1999), Chongqing (2002), Novosibirsk (2005) and Kobe (2008). In year 2008, the East Asian and Australasia Committees of the Association of Symbolic Logic decided to shorten the three year cycle to two. The new cycle of ALC started in Singapore (2009), Wellington(2011).
The program will cover a wide range of topics and will feature plenary lectures presented by leading specialists in every major area of mathematical logic. In addition there will be many contributed talks.
A poster of ALC2013 can be download here.
Call for Submissions
The Thirteenth Asian Logic Conference (ALC2013) has been successfully held in Guangzhou from September 16 to 20, 2013. Now we are going to organize conference proceedings to be published by World Scientific. Topics of interest include but not limited to the following: Recursion Theory, Set Theory, Model Theory, Theoretical Computer Science and Philosophic Logic.
Submissions from all participants of ALC2013 are welcome. Papers must be submitted as PDF files converted by Latex and sent to firstname.lastname@example.org before December 31, 2013. Source files are also needed for further processing after acceptance. Each submission will be refereed.