www.computational-sustainability.org [link]

Workshop: CROCS at CP-10

Third International Workshop on
Constraint Reasoning and Optimization for Computational Sustainability

September 6, 2010

St Andrews, Scotland

Past Workshops
To be held in conjunction with CP-10, the 16th International
Conference on Principles and Practice of Constraint Programming

Computational Sustainability is a newly emerging interdisciplinary field that aims to apply techniques from computer science, information science, operations research, applied mathematics, and statistics for balancing environmental, economic, and societal needs for sustainable development. The main focus is on developing computational and mathematical models and methods for decision making concerning the management and allocation of resources in order to help solve some of the most challenging problems related to sustainability. Such models are traditionally studied in disciplines as diverse as ecology, natural resource management, biodiversity, atmospheric science, biological and environmental engineering, and resource economics. Creating and optimizing these models, however, often presents a scalability challenge, which limits what scientists can analyze using relatively simple techniques. Bringing in advanced computational methods as a tool to solve these large scale problems holds tremendous promise for the enrichment of all involved fields.

The goal of this workshop is to bring together interested researchers in order to facilitate the exchange of ideas, presentation of recent or preliminary results, and discussion of promising directions for the use of computational methods to tackle a variety of challenging sustainability problems. While the main focus of this workshop will be on computational methods related to constraint programming (CP) and constraint optimization, we also encourage submissions in other computational areas and techniques relevant to sustainability problems.

The first two workshops in the CROCS series, held in conjunction with the CP-09 and CPAIOR-10 conferences, attracted interest from a number of researchers in this new field and provided a venue for discussion. This third workshop will continue to do the same.

Important Dates

Submission Deadline : August 6, 2010 (Fri), 23:59 Pacific Daylight Time (PDT)
Notification : August 15, 2010 (Sun)
Camera-Ready Deadline : August 21, 2010 (Sat), 23:59 Pacific Daylight Time (PDT)
Workshop : September 6, 2010 (Mon)


Depending on the number of submissions, the program will involve a mix of short and long talks, possibly an invited talk, and discussion session(s). We solicit three kinds of submissions:

  1. Full Papers (up to 15 pages) reporting new results as well as preliminary or recently published or under review work in the field of constraint reasoning and optimization for computational sustainability. Papers reporting results that have already been published or presented at another venue should clearly indicate so.

  2. Extended Abstracts (up to 3 pages) reporting preliminary results, describing a open computational sustainability problem, proposing ideas for bringing in new computational methods into the field, or summarizing the focus areas of a group working on computational sustainability.

  3. Discussion Proposals (1 page) for leading a discussion on a specific area, open problems, or any other topic of interest to computational sustainability. Such proposals should consist of a one page description of the proposed topic and how the proposers envision the session. An example format would be a short presentation by the discussion lead followed by an open discussion focused on a few specific questions.

Please note that there will not be any published proceedings for the workshop. Accepted papers will be made available on this website and also provided to the workshop and conference participants electronically in a USB key.

Papers, abstracts, and discussion proposals should be submitted as a PDF file by using the EasyChair submission page for the workshop:


Please use US Letter size page with a 1 inch margin on all four sides, and 10 pt or 11 pt font for the main body of the paper. Other than this, there are no specific formatting or style requirements. If using LaTeX, the following header should produce the correct format:


Registration and Attendance

At least one author of each accepted submission must attend the workshop.

The workshop will be open to everyone to attend, regardless of whether they have an accepted submission. However, CP-10 organization requires that all workshop attendies must pay either the CP registration fee including the workshop fee or only the workshop fee. For detailed registration information, please refer to the CP-10 web page.

Workshop Organizers

Carla P. Gomes (co-chair), Cornell University, USA
Ashish Sabharwal (co-chair), Cornell University, USA

Peter van Beek, University of Waterloo, Canada
Ramon Bejar, Universitat de Lleida, Spain
Lucas Bordeaux, Microsoft Research Cambridge, UK
Youssef Hamadi, Microsoft Research Cambridge, UK
William S. Havens, Simon Fraser University, Canada
Pascal Van Hentenryck, Brown University, USA
Willem-Jan van Hoeve, Carnegie Mellon University, USA
Holger Hoos, University of British Columbia, Canada
Kevin Leyton-Brown, University of British Columbia, Canada
Alan Mackworth, University of British Columbia, Canada
Michela Milano, University of Bologna, Italy
Barry O'Sullivan, 4C and University College Cork, Ireland
Gregory M. Provan, University College Cork, Ireland
Meinolf Sellmann, Brown University, USA
Michael Trick, Carnegie Mellon University, USA
Toby Walsh, NICTA and UNSW, Australia

Contact Information

If you have any questions or comments, please send an email to crocs-at-cp10@computational-sustainability.org.

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