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

新闻动态

当前位置: 首页 >> 新闻动态

[最新资讯]徐扬教授团队在国际自动定理证明竞赛中取得好成绩: 时间：2021年08月01日阅读次数：

[最新资讯]数学学院徐扬教授团队在第24届国际SAT竞赛取得优异成绩: 时间：2021年08月01日阅读次数：

[最新资讯]英国南安普顿大学高级研究员Dr. Colin Snook应邀访问实验室: 时间：2019年11月23日阅读次数：

[最新资讯]徐扬教授团队夺得第23届国际一阶逻辑自动定理证明器竞赛亚军: 时间：2018年07月18日阅读次数：

[最新资讯]数学学院徐扬教授团队夺得第21届国际SAT竞赛亚军: 时间：2018年07月15日阅读次数：

[最新资讯]美国迈阿密大学Geoff教授应徐扬教授的邀请到我校访问: 时间：2018年06月19日阅读次数：

[最新资讯]Academic report: The TPTP World -Infrastructure for Automated Reasoning: 时间：2018年06月01日阅读次数：

[最新资讯]可信性自动验证国家地方联合工程实验室召开发展研讨会: 时间：2018年05月28日阅读次数：

[最新资讯]沈阳新一代信息技术有限公司石庆生董事长一行到国地实验室开展合作交流: 时间：2018年04月12日阅读次数：

[最新资讯]系统可信性自动验证国家地方联合工程实验室2017年工作总结: 时间：2018年03月11日阅读次数：

首页上页12下页尾页