Welcome to Summer School on Formal Methods
August 06-August 15, 2019
SSFM2019 Timetable
|
Aug. 06 Tuesday |
|
|
08:20-08:30 |
Opening Session Speaker: Prof. Lijun Zhang |
|
08:30-09:50 |
Lecture: Speaking Logic Speaker: Prof. Natarajan Shankar |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Speaking Logic Speaker: Prof. Natarajan Shankar |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Speaking Logic Speaker: Prof. Natarajan Shankar |
|
15:20-16:00 |
Coffee break |
|
16:00-17:20 |
Lecture: Speaking Logic Speaker: Prof. Natarajan Shankar |
|
Aug. 07 Wednesday |
|
|
08:30-09:50 |
Lecture: Speaking Logic Speaker: Prof. Natarajan Shankar |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Speaking Logic Speaker: Prof. Natarajan Shankar |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Speaking Logic Speaker: Prof. Natarajan Shankar |
|
15:20-16:00 |
Coffee break |
|
16:00-17:20 |
Lecture: Speaking Logic Speaker: Prof. Natarajan Shankar |
|
Aug. 08 Thursday |
|
|
08:30-09:50 |
Lecture: Verification and Understanding of Deep Learning (Part 1) Speaker: Prof. Xiaowei Huang |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Verification and Understanding of Deep Learning (Part 1) Speaker: Prof. Xiaowei Huang |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Foundations of Cyber-Physical Systems Speaker: Dr. Stefan Mitsch |
|
15:20-16:00 |
Coffee break |
|
16:00-17:20 |
Lecture: Foundations of Cyber-Physical Systems Speaker: Dr. Stefan Mitsch |
|
19:00-21:00 |
Social Event |
|
Aug. 09 Friday |
|
|
08:30-09:50 |
Lecture: Verification and Understanding of Deep Learning (Part 1) Speaker: Prof. Xiaowei Huang |
|
09:50-10:30 |
Coffee Break |
|
10:30-11:50 |
Lecture: Verification and Understanding of Deep Learning (Part 1) Speaker: Prof. Xiaowei Huang |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Foundations of Cyber-Physical Systems Speaker: Dr. Stefan Mitsch |
|
15:20-16:00 |
Coffee Break |
|
16:00-17:20 |
Lecture: Foundations of Cyber-Physical Systems Speaker: Dr. Stefan Mitsch |
|
Aug. 10 Saturday |
|
|
08:30-09:50 |
Lecture: Foundations of Cyber-Physical Systems Speaker: Dr. Stefan Mitsch |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Foundations of Cyber-Physical Systems Speaker: Dr. Stefan Mitsch |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Foundations of Cyber-Physical Systems Speaker: Dr. Stefan Mitsch |
|
15:20-16:00 |
Coffee Break |
|
16:00-17:20 |
Lecture: Foundations of Cyber-Physical Systems Speaker: Dr. Stefan Mitsch |
|
Aug. 11 Sunday |
|
|
08:30-09:50 |
Lecture: Rewrite based Automated Reasoning Algorithms for System Analysis Speaker: Prof. Deepak Kapur |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Rewrite based Automated Reasoning Algorithms for System Analysis Speaker: Prof. Deepak Kapur |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Requirements formalization and correctness-by-construction Speaker: Prof. Panagiotis Katsaros |
|
15:20-16:00 |
Coffee break |
|
16:00-17:20 |
Lecture: Requirements formalization and correctness-by-construction Speaker: Prof. Panagiotis Katsaros |
|
Aug. 12 Monday |
|
|
08:30-09:50 |
Lecture: Rewrite based Automated Reasoning Algorithms for System Analysis Speaker: Prof. Deepak Kapur |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Rewrite based Automated Reasoning Algorithms for System Analysis Speaker: Prof. Deepak Kapur |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Requirements formalization and correctness-by-construction Speaker: Prof. Panagiotis Katsaros |
|
15:20-16:00 |
Coffee break |
|
16:00-17:20 |
Lecture: Requirements formalization and correctness-by-construction Speaker: Prof. Panagiotis Katsaros |
|
Aug. 13 Tuesday |
|
|
08:30-09:50 |
Lecture: Requirements formalization and correctness-by-construction Speaker: Prof. Panagiotis Katsaros |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Requirements formalization and correctness-by-construction Speaker: Prof. Panagiotis Katsaros |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Rewrite based Automated Reasoning Algorithms for System Analysis Speaker: Prof. Deepak Kapur |
|
15:20-16:00 |
Coffee break |
|
16:00-17:20 |
Lecture: Rewrite based Automated Reasoning Algorithms for System Analysis Speaker: Prof. Deepak Kapur |
|
Aug. 14 Wednesday |
|
|
08:30-09:50 |
Lecture: Requirements formalization and correctness-by-construction Speaker: Prof. Panagiotis Katsaros |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Requirements formalization and correctness-by-construction Speaker: Prof. Panagiotis Katsaros |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Rewrite based Automated Reasoning Algorithms for System Analysis Speaker: Prof. Deepak Kapur |
|
15:20-16:00 |
Coffee break |
|
16:00-17:20 |
Lecture: Rewrite based Automated Reasoning Algorithms for System Analysis Speaker: Prof. Deepak Kapur |
|
Aug. 15 Thursday |
|
|
08:30-09:50 |
Lecture: Verification and Understanding of Deep Learning (Part 2) Speaker: Prof. Xinping Yi |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Verification and Understanding of Deep Learning (Part 2) Speaker: Prof. Xinping Yi |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Verification and Understanding of Deep Learning (Part 2) Speaker: Prof. Xinping Yi |
|
15:20-16:00 |
Coffee break |
|
16:00-17:20 |
Lecture: Verification and Understanding of Deep Learning (Part 2) Speaker: Prof. Xinping Yi |