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
[pdf]
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
[pdf]
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
[pdf]
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
[pdf]
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
[pdf]
14:40 - 15:05 Datamining for Biodiversity Prediction in Forests
Barry O'Sullivan, Steven Keady, Enda Keane, Sandra Irwin, and John O'Halloran
[pdf]
15:05 - 15:30 Using Constrained Optimization to Understand, Predict and Control Knotweed Spread
Florence Piola, Soraya Rouifed, and Christine Solnon
[pdf]
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
[pdf]
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.