08:55 - 09:00		--------------------------- Welcome -------------------------
09:00 - 09:25		Automatically Exploiting Symmetries in CP Arathi Ramani and Igor L. Markov
09:25 - 09:50		Combining Branch & Bound and SBDD to solve Soft CSPs Stefano Bistarelli and Barry O'Sullivan
09:50 - 10:15		Breaking Symmetries in All Different Problems Jean-Francois Puget
10:15 - 10:40		Symmetry-Breaking and Local Search: A Case Study Andrea Roli
10:40 - 11:05		--------------------------- Coffee Break -----------------------
11:05 - 12:05		Invited Talk Symmetry in Integer Programming Francois Margot Abstract   References
12:05 - 12:30		Comparing the Use of Symmetry in Constraint Processing and Model Checking Alastair Donaldson, Alice Miller and Muffy Calder
12:30 - 14:00		--------------------------- Lunch Break -----------------------
14:00 - 14:25		On the Extraction of Disjunctive Landmarks from Planning Problems via Symmetry Reduction Peter Gregory, Stephen Cresswell, Derek Long and Julie Porteous
14:25 - 15:25		Panel Session Symmetry in Related Disciplines Belaid Benhamou, Alastair Donaldson, Maria Fox, Francois Margot and Igor Markov
15:25 - 15:50		--------------------------- Coffee Break -----------------------
15:50 - 16:15		Approaches to Conditional Symmetry Breaking Ian P. Gent, Iain McDonald, Ian Miguel and Barbara M. Smith
16:15 - 16:40		Conditional Interchangeability and Substitutability Yuanlin Zhang and Eugene C. Freduer
16:40 - 17:05		Exploiting Dominance in Three Symmetric Problems Steven Prestwich and J. Christopher Beck
17:05 - 17:30		A Note on the Compatibility of Static Symmetry Breaking Constraints and Dynamic Symmetry Breaking Methods Warwick Harvey
		------------------------------ Close ----------------------------