2022 CCF中国软件大会（CCF Chinasoft）“形式化方法教育”论坛成功召开

    2022年11月27日，2022 CCF中国软件大会（CCF Chinasoft）形式化方法教育论坛成功举办。本次论坛由中国计算机学会（CCF）主办，CCF形式化方法专委会承办，清华大学贺飞副教授、北京大学熊英飞副教授组织，采用腾讯会议与在线直播两种方式线上进行。论坛关注形式化方法教育，邀请南京大学、上海交通大学、中国科学院大学、北京大学、西北工业大学等国内外著名高校的6位从事形式化方法教育的优秀学者，通过主题报告形式，分享了在形式化方法及相关课程教学方面的经验，探讨在计算机科学技术和软件工程等相关学科教学改革中加强形式化方法教育的途径。论坛吸引了国内外相关领域师生与从业人员的广泛参与，腾讯会议室同时在线人数达到108人，论坛视频在线直播观看人数超过1424人。

    本次论坛分两个阶段举行。论坛第一阶段由清华大学贺飞副教授主持，南京大学谭添、上海交通大学符鸿飞、中国科学院大学蔡少伟先后带来了精彩的报告。各位报告人分别就“理论与实践并重的程序分析教学”、“如何开展‘轻型’的形式化方法教育”、“课程和讲座之间：约束求解训练营回顾”等主题进行了阐释与讨论。

   论坛第二阶段由北京大学熊英飞副教授主持，北京大学胡振江、上海交通大学陈翌佳、西北工业大学刘志明先后带来了精彩的报告。各位报告人分别就“‘形式化思维’从‘大一入门课’抓起”、“数理逻辑课程教学的一些尝试”、“数理逻辑是计算机科学与系统的天然基础”等主题进行了阐释与讨论。

    论坛最后就形式化基础方法的教学进行自由讨论，各位报告人以及现场参加会议的其他听众进行了充分的交流。

更多资讯请关注