第八届亚洲逻辑会议在渝举行

本报重庆8月31日电第八届亚洲逻辑会议日前在西南师范大学举行。地处重庆北碚的美丽的西南师大校园迎来了出席会议的日本、澳大利亚、新西兰、新加坡等国家和地区的专家教授。这次会议的主题是数理逻辑理论及其在计算机科学中的应用。主要讨论范围是递归论、集合论、模型论、计算机科学等。亚洲逻辑会议1981年在新加坡首次举办，每3年在亚太不同地区轮流举办，现已成为逻辑领域和理论计算科学领域的重要会议。此次会议也是北京国际数学家大会的卫星会议之一。