www.computational-sustainability.org [link]

Workshop: CROCS at CP-12

Fourth International Workshop on
Constraint Reasoning and Optimization for Computational Sustainability

October 8, 2012

Quebec City, QC, Canada



Past Workshops

To be held in conjunction with CP-12, 18th 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 and strong integration of computer science disciplines, 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), constraint optimization, and their integration with other domains, we will also encourage submissions in other computational areas and techniques relevant to sustainability problems.

Inspired by the multidisciplinary track this year, we aim to attract and encourage presentation of interdisciplinary research that links CP technology with other core computer science domains such as machine learning, data mining, game theory, simulation and others. Furthermore we encourage presentations, papers and talks that link such domains with CP research on large scale sustainability applications.

The workshop will be organized as a hybrid of a traditional workshop and a birds-of-a-feather event, with a mix of short and long talks, invited speakers, as well as discussion sessions. We solicit three kinds of submissions for this workshop:

1.      Papers reporting new results as well as preliminary or recently published work in the field of computational sustainability. There is no specific formatting requirement or page limit. Papers reporting results that have already been published or presented at another venue should clearly indicate so.

2.      Abstracts (up to 2 pages) reporting preliminary results, describing an 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.      Proposals for leading a discussion topic 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. PDFs of the accepted papers, abstracts or slides will be posted on the website at the discretion of the authors.


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:





Important Dates

Submission Deadline: August 31, 2012 (extended) (Friday), 11:59 Pacific Time
Notification: September 15, 2012 (Saturday)
Workshop: October 8, 2010 (Monday)

Submission, Registration, Attendance

Papers, abstracts, and discussion proposals should be submitted as a PDF file by sending an email to crocs-at-cp12@computational-sustainability.org.

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-12 organization requires that all workshop attendees must pay either just the workshop fee or the CP registration fee including the workshop fee. For detailed registration information, please refer to the CP-12 web page.

Workshop Organizers

Bistra Dilkina (co-chair), Cornell University, USA
Theo Damoulas (co-chair), Cornell University, USA
Carla P. Gomes (co-chair), Cornell University, USA
Ashish Sabharwal (co-chair), IBM Research, USA

Youssef Hamadi, Microsoft Research Cambridge, UK
Willem-Jan van Hoeve, Carnegie Mellon University, USA
Andreas Krause, ETH Zurich, Switzerland
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
Meinolf Sellmann, IBM Research, USA
Bart Selman, Cornell 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-cp12@computational-sustainability.org.

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

          Description: ics-logo-small4.jpg