Formul'01 Schedule

9.00 to 9.05
Welcome, and Self Introductions

9.05 to 9.35
Topological Channel Routing Using Constraint Logic Programming Andrew Hughes, Anthony J. Kusalik, and Carl D. McCrosky

9.35 to 10.05
First-Solution Search with Symmetry Breaking and Implied Constraints Stephen Prestwich (over heads in .ps)

10.05 to 10.35
Symmetry and Implied Constraints in the Steel Mill Slab Design Problem Alan M. Frisch, Ian Miguel, and Toby Walsh

11.00 to 11.30
Constraint Programming and Hybrid Formulations for Life Robert Bosch and Michael Trick

11.30 to 12.00
Modelling and Problem Forulation: what matters and who cares? Patrick Prosser
(power point slides are here)

12.00 to 12.30
A Panel Discussion Ian P. Gent