www.computational-sustainability.org [link]

Workshop: CROCS at CPAIOR-10

Second International Workshop on
Constraint Reasoning and Optimization for Computational Sustainability

June 15, 2010

Bologna, Italy

Past Workshops
To be held in conjunction with CPAIOR-10, the 7th International
Conference on Integration of Artificial Intelligence (AI) and
Operations Research (OR) techniques in Constraint Programming

Workshop Program

When : 10:00 - 17:00 hrs, June 15, 2010
Where : Room 5.6, Engineering Faculty of the University of Bologna (link)

10:00 - 10:10 Opening Remarks
Carla P. Gomes
10:10 - 10:35 Logic-Based Decision Support for Strategic Environmental Assessment
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, and Paolo Cagnoli
10:35 - 11:00 Using Multi-touch Tabletops to Create and Compare Neighbourhood Designs that Satisfy Constraints
Jennifer Fernquist, Kellogg S. Booth, and Alan K. Mackworth
11:00 - 11:30 Coffee Break
11:30 - 11:55 The Optimal Routing Problem in the Context of Battery-Powered Electric Vehicles
Andreas Artmeier, Julian Haselmayr, Martin Leucker, and Martin Sachenbacher
11:55 - 12:20 Computational Thinking for Material Discovery: Bridging Constraint Reasoning and Learning
Ronan LeBras, Theodoros Damoulas, John Gregoire, Ashish Sabharwal, Carla P. Gomes, and R. Bruce van Dover
12:20 - 13:00 Open Dicussion I
Topic TBD
13:00 - 14:15 Lunch Break
14:15 - 14:40 Biodiversity Modeling and Optimisation in Pond Networks
Florent Arthaud and Serge Fenet
14:40 - 15:05 Datamining for Biodiversity Prediction in Forests
Barry O'Sullivan, Steven Keady, Enda Keane, Sandra Irwin, and John O'Halloran
15:05 - 15:30 Using Constrained Optimization to Understand, Predict and Control Knotweed Spread
Florence Piola, Soraya Rouifed, and Christine Solnon
15:30 - 15:55 Optimal Network Design for the Spread of Cascades
Daniel Sheldon, Bistra Dilkina, Adam Elmachtoub, Ryan Finseth, Ashish Sabharwal, Jon Conrad, Carla Gomes, David Shmoys, Will Allen, Ole Amundsen, and Buck Vaughan
15:55 - 16:30 Coffee Break
16:30 - 17:00 Open Dicussion II
Topic TBD

Sponsored by the Institute for Computational Sustainability (ICS), Cornell University, USA.