系统可信性自动验证国家地方联合工程实验室

美高梅游戏-澳门mgm集团4858网址【www.4858.com】

实验室团队成员赴法国参加FLINS2016国际...
系统可信性自动验证国家地方联合工程实验室团队成员赴法国参加FLINS2016国际学术会议,并与国内外高校及科研机构建立了广泛、深入的合作。
我校荣获2017年中国高校SAS数据分析大赛...
11月20日在北京落幕的2017年中国高校SAS数据分析大赛中,由我校数学学院、信息学院及经管学院本科生、硕士生组成的参赛队经过初赛的激烈角逐,从1036个支参赛队伍中脱颖而出,斩获决赛的入场券,成为决赛参赛队的一员,并最终取得全国决赛百强成绩。同时,我校也因优秀的组织能力而获得了大赛的优秀组织奖。大赛颁奖典礼...
德国DHBW Stuttgart大学Stephan Schulz...
2017年7月1日—7日,逻辑自动推理领域的国际知名专家,德国DHBW Stuttgart大学计算机学院的Stephan Schulz教授应邀来到美高梅游戏系统可信性自动验证国家地方联合工程实验室进行讲学。Stephan Schulz教授在自动推理理论、方法及其程序实现等方面做出了非常有影响的工作,其研发的自动定理证明器E是目前国际上最著名的...
   
英国南安普顿大学高级研究员Dr. Colin Snook应邀访问实验室
​应王恪铭博士的邀请,英国南安普顿大学高级研究员Dr. Colin Snook访问了实验室。Colin博士是B方法专家,主要从事UML-B及RODIN平台的开发,Colin...
专题栏目