返回首页
-
第一届全国形式化方法与应用会议在北京召开
2016-12-05经过近一年的精心筹备，由中国计算机学会（CCF）主办、中国科学院软件研究所和CCF形式化方法专业学组承办的“第一届全国形式化方法与应用会议”（FMAC，会议编号CCF-TC-16-28N）于2016年11月12日至13日在北京顺利召开。会议由CCF形式化方法专业组主任、中国科学院软件研究所林惠民院士担任主席，国防科技大学教授王戟和南京大学教授李宣东担任程序委员会主席。
-
CCF协同计算专委会走进广东工业大学
2016-11-222016年11月17日，CCF协同计算专业委员会走进广东工业大学，CCF协同计算专委会副主任、华南师范大学教授汤庸应邀作了题为《学术社交网络及大数据研究与应用实践》的学术报告。专委常务委员滕少华教授，委员梁路副教授、刘冬宁副教授及广东工业大学计算机学院领导和师生60余名人参加了此次活动。
京公网安备 11010802032778号
