The Asian Logic Conference series is sponsored by the Association for Symbolic Logic,
and the meetings are major international events in mathematical logic. The series features
the latest scientific developments in the fields in mathematical logic and its applications,
logic in computer science, and philosophical logic. It 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.