置顶通知


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

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

Auto2 prover in Isabelle and its application to program verification
Dr. Bohua Zhan (Technical University of Munich)
2018-04-26 10:00-12:00
Synthesizing SystemC Code from Delay Hybrid CSP
严高高(ISCAS)
2018-04-11 13:00-15:00
安全攸关操作系统的形式化验证
赵永望副教授(北京航空航天大学)
2018-03-21 13:00-15:00
Latent Variable Modeling of Neural Population Dynamics
Zhe Chen (New York University)
2017-11-30 15:00-16:00
Formalized Engineering Mathematics and the Next Generation of Artificial Intelligence
Gang Chen (Beijing Jinghang Research Institute of Computing and Communication)
2017-11-08 13:00-15:00
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