About ALC
The 19th Asian Logic Conference will be held on October 18 - 22, 2027,
in Chengdu, Sichuan, China. The conference is organized by the
Algorithms and Logic Lab of the school of Computer Science and
Engineering, The University of Electronic Science and Technology of
China.
The Asian Logic Conference (ALC) is a major international event in
mathematical logic and applications. It features the latest scientific
developments in the fields in mathematical logic and its applications,
logic in computer science, and philosophical logic. The ALC series 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), and Kobe (2008).
In 2008, the East Asian and Australasian Committees of the Association
for Symbolic Logic decided to shorten the three-year cycle to two. The
new two-year cycle began with the meeting in Singapore (2009), and
subsequent meetings have been held in Wellington (2011), Guangzhou
(2013), Mumbai (2015), Daejeon (2017), Astana(2019), 2021(postponed),
Tianjin(2023), Kyoto(2025), Chengdu(2027).