Invited Talks
	9:00 - 9:45	Ziyad Hanna: Formal Verification Framework and Applications for the Massive Usage at Intel
	9:45 - 10:30	Kim G. Larsen: UPPAAL Implementation Secrets (Presentation)
	10:30 - 11:00	Break
	Session 1
	11:00 - 11:20	Claus Schroeter, Stefan Schwoon, Javier Esparza: The Model-Checking Kit
	11:20 - 11:40	Hubert Garavel, Frederic Lang, Radu Mateescu: An overview of CADP 2001
	11:40 - 12:00	Dilsun Kirli Kaynar, Anna Chefter, Laura Dean, Stephen J. Garland, Nancy A. Lynch, Toh Ne Win, Antonio Ramirez-Robredo: Simulating Nondeterministic Systems at Multiple Levels of Abstraction
	12:00 - 12:20	Ganesh Gopalakrishnan, Robert Palmer: The Parallel PV Model Checker
	12:20 - 14:00	Lunch
	Session 2
	14:00 - 14:20	Cecile Bui Thanh, Christian Stehno: New Petri Net Programming Features in PEP
	14:20 - 14:40	Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: ETMCC: A Markov Chain Model Checker
	14:40 - 15:00	Bertrand Jeannet, Pedro R. D'Argenio, Kim G. Larsen: RAPTURE: A tool for verifying Markov Decision Processes
	15:00 - 15:20	Jitka Crhova, Pavel Krcal, Jan Strejcek, David Safranek, Pavel Simecek: YAHODA: the database of verification tools
	15:20 - 15:50	Break
	Invited Talk
	15:50 - 16:35	Kim G. Larsen continued: UPPAAL Implementation Secrets
	16:35 - 16:45	Break
	Demonstrations
	16:45 - 18:00	Room B311
	18:00	Closing

---