讨论班日程安排

	时间（Date）	地点（Place）	报告题目（Title）	报告人（Speaker）
1	2015.9.15	二教210	Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification	Yi Li
2	2015.9.22	二教210	Formal Verification of Genetic Algorithms Operators Using PVS	Saqib Nawaz
3	2015.9.29	二教210	Model Checking for Probabilistic Timed Automata	Yuanyi Ji
4	2015.10.6	国庆节放假
5	2015.10.13	二教210	Extracting Model from Implementations of Web Authentication Protocols	Guangdong Bai (National University of Singapore)
6	2015.10.20	二教210	Part I. Concurrent Programming Education in the Post-Java Era Part II. How Good is Your Embedded Design, if at all?	Holger Hermanns (Saarland University)
7	2015.10.27	二教210	Backwards-Compatible Array Bounds Checking for C with Very Low Overhead	Haiyang Liu
8	2015.11.3	南京SETTA会议，暂停一次。
9	2015.11.10	二教210	Introduction to Active Automata Learning from a Practical Perspective	Yiwu Wang
10	2015.11.17	二教210	Modeling and Verifying Hierarchical Real-time Systems Using Stateful Timed CSP	Ai Liu
11	2015.11.24	二教210	Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership	Tingting Hu
12	2015.12.1	IDEA4CPS workshop，暂停一次。
13	2015.12.8	二教210	Combining Centralised and Distributed Testing	Heyuan Xu
14	2015.12.15	二教210	One Paper, One Dream!	Meng Sun
15	2015.12.22	理科楼1303	Computability Revisited	Jos Baeten (CWI)
16	2015.12.29	二教210	Depth-First Search and Strong Connectivity in PVS	Saqib Nawaz

注：

每次讨论班时间为周二下午1点到3点。