10 - 14 July 2017, Fifteenth Asian Logic Conference (ALC 2017), Daejeon, South Korea
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.
ALC'2017 will be the first 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.
If you would like to give a contributed talk, please send us the title and short abstract of your proposed talk, and a short resume. Each contributed talk should last 20 minutes including questions and answers. Please note that, while contributed talks are welcome, organizers may decide to limit their number in order to provide enough room for discussions.