SSFM2018 Timetable
|
Aug. 24 Friday |
|
|
08:20-08:30 |
Opening Session Speaker: Prof. Naijun Zhan |
|
08:30-09:50 |
Lecture: Foundations of Cyber-Physical Systems Speaker: Prof. Stefan Mitsch |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Foundations of Cyber-Physical Systems Speaker: Prof. Stefan Mitsch |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Foundations of Cyber-Physical Systems Speaker: Prof. Stefan Mitsch |
|
15:20-16:00 |
Coffee break |
|
16:00-17:20 |
Lecture: Foundations of Cyber-Physical Systems Speaker: Prof. Stefan Mitsch |
|
Aug. 25 Saturday |
|
|
08:30-09:50 |
Lecture: Beyond Hybrid Automata Speaker: Prof. Martin Fränzle |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Beyond Hybrid Automata Speaker: Prof. Martin Fränzle |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Foundations of Cyber-Physical Systems Speaker: Prof. Stefan Mitsch |
|
15:20-16:00 |
Coffee break |
|
16:00-17:20 |
Lecture: Foundations of Cyber-Physical Systems Speaker: Prof. Stefan Mitsch |
|
Aug. 26 Sunday |
|
|
08:30-09:50 |
Lecture: Beyond Hybrid Automata Speaker: Prof. Martin Fränzle |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Beyond Hybrid Automata Speaker: Prof. Martin Fränzle |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Foundations of Cyber-Physical Systems Speaker: Prof. Stefan Mitsch |
|
15:20-16:00 |
Coffee break |
|
16:00-17:20 |
Lecture: Foundations of Cyber-Physical Systems Speaker: Prof. Stefan Mitsch |
|
19:00-21:00 |
Social Event |
|
Aug. 27 Monday |
|
|
08:30-09:50 |
Lecture: Beyond Hybrid Automata Speaker: Prof. Martin Fränzle |
|
09:50-10:30 |
Coffee Break |
|
10:30-11:50 |
Lecture: Beyond Hybrid Automata Speaker: Prof. Martin Fränzle |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: CryptoLine: Verifying Low-level Mathematical Constructs in Real Cryptographic Programs Speaker: Prof. Bow-Yaw Wang |
|
15:20-16:00 |
Coffee Break |
|
16:00-17:20 |
Lecture: CryptoLine: Verifying Low-level Mathematical Constructs in Real Cryptographic Programs Speaker: Prof. Bow-Yaw Wang |
|
Aug. 28 Tuesday |
|
|
08:30-09:50 |
Lecture: Beyond Hybrid Automata Speaker: Prof. Martin Fränzle |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Beyond Hybrid Automata Speaker: Prof. Martin Fränzle |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: CryptoLine: Verifying Low-level Mathematical Constructs in Real Cryptographic Programs Speaker: Prof. Bow-Yaw Wang |
|
15:20-16:00 |
Coffee Break |
|
16:00-17:20 |
Lecture: CryptoLine: Verifying Low-level Mathematical Constructs in Real Cryptographic Programs Speaker: Prof. Bow-Yaw Wang |
|
Aug. 29 Wednesday |
|
|
08:30-09:50 |
Lecture: Principles of Probabilistic Programming Speaker: Prof. Joost-Pieter Katoen |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Principles of Probabilistic Programming Speaker: Prof. Joost-Pieter Katoen |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Concurrent Programming Speaker: Prof. Holger Hermanns |
|
15:20-16:00 |
Coffee break |
|
16:00-17:20 |
Lecture: Concurrent Programming Speaker: Prof. Holger Hermanns |
|
Aug. 30 Thursday |
|
|
08:30-09:50 |
Lecture: Principles of Probabilistic Programming Speaker: Prof. Joost-Pieter Katoen |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Principles of Probabilistic Programming Speaker: Prof. Joost-Pieter Katoen |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Concurrent Programming Speaker: Prof. Holger Hermanns |
|
15:20-16:00 |
Coffee break |
|
16:00-17:20 |
Lecture: Concurrent Programming Speaker: Prof. Holger Hermanns |
|
Aug. 31 Friday |
|
|
08:30-09:50 |
Lecture: Principles of Probabilistic Programming Speaker: Prof. Joost-Pieter Katoen |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Principles of Probabilistic Programming Speaker: Prof. Joost-Pieter Katoen |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Concurrent Programming Speaker: Prof. Holger Hermanns |
|
15:20-16:00 |
Coffee break |
|
16:00-17:20 |
Lecture: Concurrent Programming Speaker: Prof. Holger Hermanns |
|
Sep. 1 Saturday |
|
|
08:30-09:50 |
Lecture: Principles of Probabilistic Programming Speaker: Prof. Joost-Pieter Katoen |
|
09:50-10:30 |
Coffee break |
|
10:30-11:50 |
Lecture: Principles of Probabilistic Programming Speaker: Prof. Joost-Pieter Katoen |
|
12:00-14:00 |
Lunch |
|
14:00-15:20 |
Lecture: Concurrent Programming Speaker: Prof. Holger Hermanns |
|
15:20-16:00 |
Coffee break |
|
16:00-17:20 |
Lecture: Concurrent Programming Speaker: Prof. Holger Hermanns |