Lecturer	Title
Mon June 21
	08.00-09.00	breakfast
	09.15-09.30	opening of SFM-10:QAPL
	09.30-12.30	Prakash Panangaden McGill University Canada	Markov Chains and Markov Processes (1 - 2 - 3)
	12.30-14.00	lunch
	15.00-18.00	Roberto Segala University of Verona Italy	Probabilistic Automata and Equivalences
Tue June 22
	08.00-09.00	breakfast
	09.30-12.30	Christel Baier Technical University of Dresden Germany	Probabilistic and Stochastic Model Checking
	12.30-14.00	lunch
	15.00-18.00	Herbert Wiklicky Imperial College London UK	Probabilistic Languages and Static Analysis
Wed June 23
	08.00-09.00	breakfast
	09.30-12.30	Franck van Breugel York University Canada	Metrics and Approximations (1 - 2 - 3 - 4)
	12.30-14.00	lunch
	15.00-18.00	Antonin Kucera Masaryk University Czech Republic	Stochastic Games
Thu June 24
	08.00-09.00	breakfast
	09.30-12.30	Elham Kashefi University of Edinburgh UK	Measurement-Based Quantum Computation (1 - 2)
	12.30-14.00	lunch
Fri June 25
	08.00-09.00	breakfast
	09.30-12.30	Thomas Henzinger Institute of Science and Technology Austria	Timed and Hybrid Automata
	12.30-14.00	lunch
	15.00-18.00	Wang Yi University of Uppsala Sweden	Model Checking of Real-Time Systems
Sat June 26
	08.00-09.00	breakfast
	09.30-12.30	Pasquale Malacaria Queen Mary University of London UK	Information Theory and Security
	12.30-14.00	lunch
	15.00-18.00	Katinka Wolter Free University of Berlin Germany	Performance and Security Tradeoff
	18.00-18.15	closing of SFM-10:QAPL