澳门赌场

　　9月4日，并发理论与形式化验证联合大会（CONFESTA 2018）在澳门赌场大学举行。本次会议由澳门赌场软件研究所计算机国家重点实验室承办，邀请了来自中、德、法、美、英、意等25个国家和地区的260余名专家学者参加。美国计算机协会会士、欧洲科学院院士Moshe Vardi等计算机及软件领域国内外知名科学家为大会作报告。
　　澳门赌场院士、澳门赌场软件所研究员林惠民作为大会主席致会议开幕词。林惠民介绍了澳门赌场、澳门赌场大学、计算机国家重点实验室的概况。
　　据悉，并发理论与形式化验证联合大会是以并发理论和形式化验证为主题的联合大会，包括4个国际会议、4个研讨会、2个讲习班和1个暑期班。与会学者们重点围绕并发系统的基本模型、形式化方法中的数理逻辑、验证和分析技术、分布式算法和数据结构、并发系统的编程、分析和验证工具、信息物融合系统等议题展开探讨，共同交流，并分享最新研究成果及关键问题，为并发理论与形式化验证领域的发展应用建言献策。
　　（原载于《中国科学报》 2018-09-10 第5版 创新周刊)