About ALC

The Sixteenth Asian Logic Conference will be held at Nazarbayev University Astana, Kazakhstan,17-21 June 2019.
It will be the second 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).

 

Some of the previous meetings’ websites can be found HERE.

The conference will be co-located with the 14th  International Conference on Computability and Randomness (CCR 2019).

 

 

 

 

Important Dates (Will be Updated)

 

10.09.2018:  Opening of reg­is­tra­tions

May 10, 2019: Extended Deadline for contributed talk applications.

May 12, 2019: Notification of the result of contributed talk applications.

May 16, 2019: Dead­line for early reg­is­tra­tion. (After this date, the registration fee will no longer be accepted by bank transfer. Only on-site payment (in cash) of the standard registration fee will be accepted during the first day of the conference.)

June 15, 2019: Registration closes.

June 17 – 21, 2019: Main event