9:00		Opening
9:00 - 10:00		Invited Talk Assaf Schuster (Haifa, Israel) Distributed Model Checking - Experiences, Lessons, and Expectations
10:00 - 10:30		Break
10:30 - 12:00		Session 1
10:30 - 11:00		Martin Leucker, Rafal Somla and Michael Weber: Parallel Model Checking for LTL, CTL*, and Lmu2
11:00 - 11:30		Lubos Brim and Jitka Zidkova: Using Assumptions to Distribute AFMC Model Checking
11:30 - 12:00		Pavel Krcal: Distributed Explicit Bounded LTL Model Checking
12:00 - 13:30		Lunch
13:30 - 15:00		Session 2
13:30 - 14:00		Hemanthkumar Sivaraj and Ganesh Gopalakrishnan: Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking
14:00 - 14:30		Stefan Blom, Izak van Langevelde and Bert Lisser: Compressed and Distributed File Formats for Labeled Transition Systems
14:30 - 15:00		Mike Jones, Eric Mercer, Tonga Boa, Rahul Kumar and Peter Lamborn: Benchmarking Explicit State Parallel Model Checkers
15:00 - 15:30		Break
15:30 - 16:30		Session 3
15:30 - 16:00		Stefan Blom and Simona Orzan: Distributed Branching Bisimulation Reduction of State Spaces
16:00 - 16:30		Christophe Joubert: From Abstract Distributed Model Checking to Concrete Implementation
16:30 - 16:45		Closing the Workshop

---