置顶通知


新版网站的学生个人中心已经可以使用。各位同学可以在登陆之后单击右上角本人姓名进入并修改信息。另外需要建立个人网站的各位研究生同学请联系网站管理员(李屹)。

最新会议 [点此查看列表]

工程数学的形式化
施智平教授(首都师范大学)
2017-09-20 13:00-15:00
Contract-based Automated Software Testing
Dr. Yu Pei (Hong Kong Polytechnic University)
2017-08-07 10:00-12:00
Optimizing Backbone Filtering
Assoc. Prof. Min ZHANG (School of Computer Science and Software Engineering, East China Normal University)
2017-06-07 14:00-15:00
A syntactic approach to polynomial functors and opertopes
报告人: Prof. Pierre-Louis Curien IRIF laboratory pi.r2 team (CNRS, Université Paris Diderot and Inria)
2017-06-07 13:00-14:00
Dependable Model Driven Development of CPS: From Stateflow Simulation to Verified Implementation
Yu Jiang (School of Software, Tsinghua University)
2017-05-31 13:00-15:00
Logical characterisations and compositionality of input-output conformance simulation
Luca Aceto (Reykjavik University, Iceland)
2017-05-25 10:00-12:00
A Brief Tutorial on the Prototype Verification System (PVS)
Natarajan Shankar, SRI International Computer Science Laboratory
2017-04-21 10:00-12:30
Formalizing Hybrid Systems with Event-B and the Rodin Platform
Wen Su (Shanghai University)
2017-04-05 13:00-15:00