About ALC

The 17th Asian Logic Conference will be held on October 9-13, 2023, in Tianjin, China. Organized by the School of Mathematical Sciences of Nankai University, the meeting will take place at St. Regis Tianjin. It will be the third Asian Logic Conference since its status changed from an ASL (the Association for Symbolic Logic) - sponsored meeting to an official ASL meeting by ASL Council action in May 2016.

The Asian Logic Conference (ALC) is a major international event in mathematical logic. 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).

Important Dates (Will be Updated)


Mar 14, 2023:  Opening of reg­is­tra­tions.

July 9, 2023: Deadline of application for student travel awards.

July 17, 2023: Deadline for contributed talk applications.

July 31, 2023: Notification of the result of contributed talk applications.

Aug 30, 2023Aug 1, 2023: Dead­line for  priority hotel reservations. (The negotiated rate of the hotel will be maintained until August 30)

Aug 30, 2023Aug 15, 2023Deadline for registration if invitation letter is needed for visa purposes.

Sept 15, 2023: Registration closes.

October 9 – 13, 2023: Main event

Second Announcement.pdf

First Announcement.pdf

If you have any questions, please contact: logic@nankai.edu.cn.