- 学术报告公告
 - 12月18日 张师超:华东师范大学2012年可信计算论坛系列报告:直亲最近邻点及其填充模型
 - Dines Bjørner院士:可信计算论坛:A Role for Mereology in Domain Science and Engineeri...
 - Jean-Francois Monin:可信计算论坛:Formal Verification of Imperative Programs: the North F...
 - Sparse interpolation in the presence of noise and outlier errors
 - 华东师范大学2012年可信计算论坛
 - Stability Criteria for Large Complex Systems with Time Delays and Asymm
 - 华东师范大学2012年校庆学术报告(软件学院)
 - Using SOA and Cloud in a research project on Cutaneous T-Cell Lymphoma
 - 学术报告
 - 学术报告公告
 - 华东师范大学2012年可信计算论坛
 - 华东师范大学2012年可信计算论坛
 - 2012可验证软件研讨会暨暑期学校