第2届国际逻辑化方法建模广州国际研讨会

摘要

2006年9月24—27日，由中山大学逻辑与认知研究所主办的第2届国际逻辑化方法建模会议在广州举行，学术牵头人为赵希顺教授。参加本次学术研讨会的有来自美国、德国、法国、意大利、英国、奥地利、葡萄牙、荷兰等8个国家的15名国外代表，以及中国科学院、香港科技大学、北京大学、南京大学、贵州大学、广西师范大学、中山大学等国内高校及科研机构的26名专家学者。会议收到的24篇论文，涵盖了逻辑公式可满足性、非经典逻辑、模型检测、计算复杂性等多个主题。