0900	Welcome
0905-0950	Invited talk:
	Group Theory, Symmetry and Constraint Programming
	Steve Linton
0950-1010	Symmetry-Breaking for Pseudo-Boolean Formulas
	Fadi Aloul, Arathi Ramani, Igor Markov and Karem Sakallah
1010-1030	Comma Free Codes
	Justin Pearson
1030-1050	Coffee break
1050-1115	Joint presentation:
	NuSBDS: Symmetry Breaking made Easy
	Iain McDonald
	Symmetry Group Expression for CSPs
	Warwick Harvey, Tom Kelsey and Karen Petrie
1115-1135	Detecting and breaking symmetries on specifications
	Marco Cadoli and Toni Mancini
1135-1155	Advertising session for papers not being presented
1155-1200	Short break
1200-1220	Symmetries in Planning Problems
	Derek Long and Maria Fox
1220-1240	The Fully Social Golfer Problem
	Warwick Harvey
1240	Finish