伊犁师范大学数学与统计学院承办“第九届可信软件工程中的逻辑方法研讨会”

摘要

2019年8月10日至11日,由中国计算机协会形式化方法专委会主办,伊犁师范大学数学与统计学院承办的“第九届可信软件工程中的逻辑方法研讨会”在新疆伊宁市温州国际大酒店成功举行。研讨会主席中国科学院周巢尘院士出席本次大会并发表讲话,他对与会专家提出要认真做好技术报告。