9:00 - 9:05		Opening
9:05 - 9:50		Invited Talk (Chair: Lubos Brim) Moshe Vardi: Model Checking: A Complexity-Theoretic Perspective
9:50 - 10:00		Break
		Invited tutorial (Chair: Lubos Brim)
10:00 - 10:45		Orna Grumberg: Different directions in parallel and distributed model checking
10:45 - 11:00		Break
11:00 - 12:30		Session 1 (Chair: Boudewijn R. Haverkort)
11:00 - 11:30		Gerd Behrmann: A Performance Study of Distributed Timed Automata Reachability Analysis
11:30 - 12:00		Fernando Schapachnik, Víctor Braberman and Alfredo Olivero: Zeus: A Distributed Model-Checker Based on Kronos
12:00 - 12:30		Stefan Blom and Simona Orzan: A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces
12:30 - 14:00		Lunch
14:00 - 15:30		Session 2 (Chair: Orna Grumberg)
14:00 - 14:30		Alexander Bell and Boudewijn R. Haverkort: Model-Checking of Petri Net Specifications
14:30 - 15:00		Lubos Brim, Jitka Crhova and Karen Yorav: Using Assumptions to Distribute CTL Model Checking
15:00 - 15:30		Tomas Brazdil and Ivana Cerna: Local Distributed Model Checking of RegCTL
15:30 - 16:00		Break
16:00 - 17:00		Session 3 (Chair: Gerd Behrmann)
16:00 - 16:30		Cornelia P. Inggs and Howard Barringer: Effective State Exploration for Model Checking on a Shared Memory Architecture
16:30 - 17:00		Marta Kwiatkowska, Rashid Mehmood, Gethin Norman and David Parker: A Symbolic Out-of-Core Solution Method for Markov Models
17:00 - 18:00		Short Presentations (Chair: Ivana Cerna)
		Robert Palmer and Ganesh Gopalakrishnan: Partial Order Reduction Assisted Parallel Model Checking
		Michael Goldsmith: Parallelization of FDR
		Michael Jones and Jacob Sorber: Parallel Random Walk Search for LTL Violations
		Thierry Massart, Jean-Francois Raskin and Laurent Van Begin: Symbolic Distributed Verification of a Class of Parametric Concurrent Systems
		Murali Rangarajan and Darren Cofer: Analysis of Memory Requirements in Model-Checking of Complex Software
18.00		Closing the Workshop

---