据了解，本次会议是由中国数学会数理逻辑专业委员会主办，黔南民族师范学院数学与统计学院、计算与信息学院联合承办，旨在为数理逻辑及相关领域的研究学者提供交流平台，以开展广泛的学术活动，促进我国数理逻辑相关的理论及应用研究。会上，多个国家数理逻辑相关领域的20余位专家相继做了学术报告，内容涉及数理逻辑与数学、哲学与计算机科学等相关交叉学科的最新研究成果。
数理逻辑从最初莱布尼茨数理逻辑思想的提出至今，已有300年的发展历程。近年来，在国内外广大数理逻辑专家、学者的努力推动下，数理逻辑的整体水平得到了长足发展，取得可喜成绩。作为全州最高学府的黔南民族师范学院，重视开放办学，加强与世界多个知名高校合作，为我州培养了众多优秀人才，但近年来，在数理逻辑方面研究才刚刚起步，基础薄弱，此次数理逻辑界专家学者的汇聚，将为我州高等院校在培养人才、增强数理逻辑领域学术的理论研究起到积极的推动作用。
据悉，在为期三天会议中，各与会专家、学者代表将在黔南民族师范学院围绕递归论、集合论、证明论、人工智能逻辑、模型论、数学论等主题进行20余场的学术报告。此外，来自北京语言大学、中国人民大学、贵州大学、武汉工程大学等高校学者也将在此次会议活动中进行小组报告，作经验交流。
（编辑：保超燕 审核编辑：邹骐聪）
