ALC 2011 - Twelfth Asian Logic Conference

The Twelfth Asian Logic Conference will be held in Wellington, New Zealand from 15-20 December 2011. This meeting will be held jointly with a meeting of the Australasian Association for Logic (AAL). There will be an additional workshop for students on the 14th.

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 its applications, logic in computer science, and philosophical logic. It also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere 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), Kobe (2008), and Singapore (2009). In 2008, the East Asian and Australasian Committees of the Association of Symbolic Logic decided to shorten the three-year cycle to two, following an initiative of the Association for Symbolic Logic.

Previous meetings can be traced from this website.

This is the most important logic meeting in Asia, and is now one of the two biggest logic meetings in the world outside of North America, the other being the European Logic Colloquium.