9:00		Opening
9:00 - 10:30		Session 1
9:00 - 9:30		V. Braberman, A. Olivero, F. Schapachnik: On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus
9:30 - 10:00		Rahul Kumar and Eric G. Mercer: Load Balancing Parallel Explicit State Model Checking
10:00 - 10:30		Cornelia P. Inggs and Howard Barringer: CTL* Model Checking on a Shared-Memory Architecture
10:30 - 11:00		Break
11:00 - 12:00		Invited Talk Boi B. Faltings (Swiss Federal Institute of Technology, Lausanne) Distributed Constraint Satisfaction
12:05 - 12:50		Short Presentations
		Andrew Usov: Development of the Interpreter for Distributed ASMs
		Lubos Brim, Ivana Cerna, Pavel Moravec and Jiri Simsa: Parallelization of LTL Model-Checking by Exploring Maximal Acceptors
		Marta Kwiatkowska, Rashid Mehmood, David Parker, Yi Zhang: Dual Processor Parallelisation of Symbolic Probabilistic Model Checking
13:00 - 14:30		Lunch
14:30 - 16:00		Session 2
14:30 - 15:00		Christophe Joubert and Radu Mateescu: Distributed On-the-Fly Equivalence Checking
15:00 - 15:30		Lubos Brim, Ivana Cerna, Pavel Moravec and Jiri Simsa: Distributed Partial Order Reduction of State Spaces
15:30 - 16:00		Yulik Feldman, Nachum Dershowitz and Ziyad Hanna: Parallel Multithreaded Satisfiability Solver: Design and Implementation
16:00 - 16:30		Break
16:30 - 18:00		Session 3
16:30 - 17:00		Fredrik Holmen, Martin Leucker and Marcus Lindstrom: UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus
17:00 - 17:30		Simona Orzan Jaco van de Pol Miguel Valero Espada: A State Space Distribution Policy based on Abstract Interpretation
17:30 - 18:00		Martin Lange and Hans Wolfgang Loidl: Parallel and Symbolic Model Checking for Fixpoint Logic with Chop
18:00		Closing the Workshop

---