第十一届亚洲逻辑学会议于6月22日至27日在新加坡举行,会议主要讨论数理逻辑学领域的最新发展及其应用、计算机科学中的逻辑学和哲学的逻辑学。来自亚太地区逻辑学领域的众多学者围绕构造性数学、模型论及其应用、非经典逻辑学、科学哲学与逻辑学、证明论、集合论等多个议题展开热烈 The 11th Asian Logic Conference was held in Singapore from June 22 to June 27. The conference focused on the latest developments in mathematical logic and its applications, logic in logic and philosophical logic in computer science. Many scholars from the field of logic in the Asia-Pacific region have enthusiastically organized on the topics of constructive mathematics, model theory and their applications, non-classical logic, philosophy of science and logic, proof theory and set theory