置顶通知


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

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

PSpec-SQL: Enabling Fine-Grained Control for Distributed Data Analytics
Prof. Fei He (Tsinghua University)
2017-11-03 13:30-14:30
轻量级表情识别网络Emotion Net
袁克虹副教授(清华大学)
2017-10-23 15:00-16:00
Formal Modelling in Software Design
Prof. Luís Soares Barbosa (Department of Informatics, the University of Minho, Portugal)
2017-09-29 13:00-15:00
工程数学的形式化
施智平教授(首都师范大学)
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