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), and Mumbai (2015).

Special Session in ​Set Theory

Important Dates

​

May 12, 2017 : Deadline for contributed talk applications.

May 29, 2017 :

Deadline for the payment of reduced registration fee by bank transfer. (After this date, registration fee will no longer be accepted by bank transfer. Only on-site payment (in cash) of standard registration fee will be accepted during the first day of conference.)

Notification of the result of contributed talk applications.

June 30, 2017 (or when there are 120 registered participants before this date) : Registration closes.

The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held
during August 14-20, 2017 at the main campus of Stockholm University. The
Logic Colloquium 2017 is organised and hosted jointly by the Departments
of Mathematics and Philosophy at Stockholm University, and is also
supported by the KTH Royal Institute of Technology.

LC2017 will be co-located with two other logic-related events, all taking
place at Stockholm University:
— the 3rd Nordic Logic Summer School, NLS2017, August 7-12
— the 26th EACSL Annual Conference on Computer Science Logic, CSL2017,
August 20-24.

There will be a joint session of CSL2017 and LC2017 in the morning of
August 20.
Further information about all events can be found onhttps://www.lis17.conf.kth.se

SUBMISSIONS OF CONTRIBUTED TALKS
———————
Abstracts of contributed talks must be submitted as pdf files via this
EasyChair page: https://easychair.org/conferences/?conf=lc2017
(If you do not have an EasyChair-account yet, you can create one at the
submission site.)

Abstracts of contributed talks submitted by ASL members, which are
accepted and prepared according to the ASL Rules for Abstracts will be
published in The Bulletin of Symbolic Logic. Upon notification of
acceptance, authors will be requested to submit the LaTex source files.

Program Committee
Liljana Babinkostova, Boise State University
Gregory Cherlin, Rutgers University
Barbara Csima, University of Waterloo
Antonina Kolokolova, Memorial University of Newfoundland
Justin Moore (chair), Cornell University

The following special sessions also are planned: Applications of logic to operator algebras, Computable structures/model theory, Differential categories and differential lambda calculi, Model theory, Set theory, and Univalent foundations.

Special Session on Set Theory
(Organized by James Cummings and Menachem Magidor)