模型检测暑期讲习班

2010年10月11日至16日
中国北京

首页 课程 日程 注册 地点 主办 English

下载暑期班日程表 Word版 PDF版

Sunday, Oct 10

15:00 -- 20:00 Registration  

Monday, Oct 11

9:00 -- 9:50 Model Checking (1) Emerson
9:50 -- 10:00 Short break  
10:00 -- 10:50 Model Checking (2) Emerson
10:50 -- 11:20 Teabreak  
11:20 -- 12:10 Verification and modeling of continuous-time Markov models (1) Katoen
12:10 -- 14:00 Lunch  
14:00 -- 14:50 Verification and modeling of continuous-time Markov models (2) Katoen
14:50 -- 15:00 Short break  
15:00 -- 15:50 Quantitative verification techniques for probabilistic software (1) Kwiatkowska
15:50 -- 16:20 Tea break  
16:20 -- 17:10 Quantitative verification techniques for probabilistic software (2) Kwiatkowska
17:10 -- 17:20 Short break  
17:20 -- 18:00 Presentations by participants & discussions  

Tuesday, Oct 12

9:00 -- 9:50 Verification and modeling of continuous-time Markov models (3) Katoen
9:50 -- 10:00 Short break  
10:00 -- 10:50 Verificationand modeling of continuous-timeMarkov models (4) Katoen
10:50 -- 11:20 Teabreak  
11:20 -- 12:10 Model Checking (3) Emerson
12:10 -- 14:00 Lunch  
14:00 -- 14:50 Model Checking (4) Emerson
14:50 -- 15:00 Short break  
15:00 -- 15:50 Quantitative verification techniques for probabilistic software (3) Kwiatkowska
15:50 -- 16:20 Tea break  
16:20 -- 17:10 Quantitative verification techniques for probabilistic software (4) Kwiatkowska
17:10 -- 17:20 Short break  
17:20 -- 18:00 Presentations by participants & discussions  

Wednesday, Oct 13

9:00 -- 9:50 Software model checking (1) Godefroid
9:50 -- 10:00 Short break  
10:00 -- 10:50 Software model checking (2) Godefroid
10:50 -- 11:20 Tea break  
11:20 -- 12:10 Verification and modeling of continuous-time Markov models (5) Katoen
12:10 -- 14:00 Lunch  
14:00 -- 14:50 Verification and modeling of continuous-time Markov models (6) Katoen
14:50 -- 15:00 Short break  
15:00 -- 15:50 Model Checking (5) Emerson
15:50 -- 16:20 Tea break  
16:20 -- 17:10 Model Checking (6) Emerson
17:10 -- 17:20 Short break  
17:20 -- 18:00 Presentations by participants and discussions  

Thursday, Oct 14

9:00 -- 9:50 Quantitative verification techniques for probabilistic software (5) Kwiatkowska
9:50 -- 10:00   Short break
10:00 -- 10:50 Quantitative verification techniques for probabilistic software (6) Kwiatkowska
10:50 -- 11:20 Tea break  
11:20 -- 12:10 Modeling and Analysis of Timed Systems (1) Wang Yi
12:10 -- 14:00 Lunch  
14:00 -- 14:50 Modeling and Analysis of Timed Systems (2) Wang Yi
14:50 -- 15:00 Short break  
15:00 -- 15:50 Bisimulation and logic (1) Stirling
15:50 -- 16:20 Teabreak  
16:20 -- 17:10 Bisimulation and logic (2) Stirling
17:10 -- 17:20 Short break  
17:20 -- 18:00 Presentations by participants & discussions  

Friday, Oct 15

9:00 -- 9:50 Bisimulation and logic (3) Stirling
9:50 -- 10:00 Short break  
10:00 -- 10:50 Bisimulation and logic (4) Stirling
10:50 -- 11:20 Tea break  
11:20 -- 12:10 Software model checking (3) Godefroid
12:10 -- 14:00 Lunch  
14:00 -- 14:50 Software model checking (4) Godefroid
14:50 -- 15:00 Short break  
15:00 -- 15:50 Modeling and Analysis of Timed Systems (3) Wang Yi
15:50 -- 16:20 Tea break  
16:20 -- 17:10 Modeling and Analysis of Timed Systems (4) Wang Yi
17:10 -- 17:20 Short break  
17:20 -- 18:00 Presentations by participants & discussions  

Saturday, Oct 16

9:00 -- 9:50 Modeling and Analysis of Timed Systems (5) Wang Yi
9:50 -- 10:00 Short break  
10:00 -- 10:50 Modeling and Analysis of Timed Systems (6) Wang Yi
10:50 -- 11:20 Tea break  
11:20 -- 12:10 Bisimulation and logic (5) Stirling
12:10 -- 14:00 Lunch  
14:00 -- 14:50 Bisimulation and logic (6) Stirling
14:50 -- 15:00 Short break  
15:00 -- 15:50 Software model checking (5) Godefroid
15:50 -- 16:20 Tea break  
16:20 -- 17:10 Software model checking (6) Godefroid