# Lectures/Event Lecturer Schedule
1 Opening Francesco Basile , Università di Salerno Sunday 14:20 - 14:30
2 Introduction: Modeling, Analysis, and Control of DES Stéphane Lafortune, University of Michigan Sunday 14:30 - 16:20
3 Coffee_Break - Bar Lounge Sunday 16:20 - 16:50
4 Petri nets: Modeling and Applications Maria Pia Fanti, Politecnico di Bari Sunday 16:50 - 18:40
5 Supervisory Control: Calculating Supervisors, the What and the How Martin Fabian, Chalmers University of Technology Monday 08:30 - 10:20
6 Coffee_Break - Bar Lounge Monday 10:20 - 10:50
7 Formal Methods for Provably-Correct Control Design for Cyber-Physical Systems Necmiye Ozay, University of Michigan Monday 10:50 - 12:40
8 Lunch - Ristorante Gouache Monday 12:40 - 14:30
9 State Estimation and Event Inference: Applications to Fault Diagnosis and Opacity Verification Christoforos N. Hadjicostis, University of Cyprus Monday 14:30 - 16:20
10 Coffee_Break - Bar Lounge Monday 16:20 - 16:50
11 Analysis and Control of Petri Nets Alessandro Giua, University of Cagliari Monday 16:50 - 18:40
12 Social dinner at Saporì Seiano, Vico Equense Monday 19:45 - 22:00
13 Distributed and Timed Observation and Control Problems Stavros Tripakis, Aalto University and University of California Tuesday 08:30 - 10:20
14 Coffee_Break - Bar Lounge Tuesday 10:20 - 10:50
15 DES-based Modeling, Analysis and Control of Complex Resource Allocation Systems Spyros Reveliotis, Georgia Institute of Technology Tuesday 10:50 - 12:40
16 Lunch - Ristorante Gouache Tuesday 12:40 - 14:30
17 Stochastic DES and Towards Hybrid Systems Christos G. Cassandras, Boston University Tuesday 14:30 - 16:20
18 Coffee_Break - Bar Lounge Tuesday 16:20 - 16:50
19 Applications and concluding remarks Maria Pia Fanti and Stéphane Lafortune Tuesday 16:50 - 18:40