Constraint Reasoning and Optimization for Computational Sustainability

Tuesday 15 June 2010

WORKSHOP 5: Constraint Reasoning and Optimization for Computational Sustainability (Room 5.6)

10.00 – 10.10 Opening Remarks, Carla P. Gomes
10.10 – 10.35 Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, and Paolo Cagnoli, Logic-Based Decision Support for Strategic Environmental Assessment
10.35 – 11.00 Jennifer Fernquist, Kellogg S. Booth, and Alan K. Mackworth, Using Multi-touch Tabletops to Create and Compare Neighbourhood Designs that Satisfy Constraints
11.00 – 11.30 Coffee break
11.30 – 11.55 Andreas Artmeier, Julian Haselmayr, Martin Leucker, and Martin Sachenbacher, The Optimal Routing Problem in the Context of Battery-Powered Electric Vehicles
11.55 – 12.20 Ronan LeBras, Theodoros Damoulas, John Gregoire, Ashish Sabharwal, Carla P. Gomes, and R. Bruce van Dover, Computational Thinking for Material Discovery. Bridging Constraint Reasoning and Learning
12.20 – 13.00 Open Discussion I (Topic TBD)
13.00 – 14.15 Lunch
14.15 – 14.40 Florent Arthaud and Serge Fenet, Biodiversity Modeling and Optimisation in Pond Networks
14.40 – 15.05 Barry O’Sullivan, Steven Keady, Enda Keane, Sandra Irwin, and John O’Halloran, Datamining for Biodiversity Prediction in Forests
15.05 – 15.30 Florence Piola, Soraya Rouifed, and Christine Solnon, Using Constrained Optimization to Understand, Predict and Control Knotweed Spread
15.30 – 15.55 Daniel Sheldon, Bistra Dilkina, Adam Elmachtoub, Ryan Finseth, Ashish Sabharwal, Jon Conrad, Carla Gomes, David Shmoys, Will Allen, Ole Amundsen, and Buck Vaughan, Optimal Network Design for the Spread of Cascades
15.55 – 16.30 Coffee break
16.30 – 17.00 Open Discussion II (Topic TBD)

Back to Programme