www.computational-sustainability.org [link]

CROCS-09 Workshop

First International Workshop on
Constraint Reasoning and Optimization for Computational Sustainability

13:45-16:45, September 20, 2009

Lisbon, Portugal

To be held in conjunction with CP-09, the 15th International Conference
on Principles and Practice of Constraint Programming.

*NOTE*: workshop location: Room 118, Faculty of Economics,
New University of Lisbon [see CP-09 info page]

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 half-day 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 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 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. 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.

Important Dates

Submission Deadline: August 9   August 23, 2009 (Sunday)
Notification: August 21   August 30, 2009 (Sunday)
Workshop: September 20, 2009 (Sunday)

Submission and Registration

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

The workshop will be open to everyone. However, CP-09 organization requires all attendees to register for both the workshop and the main conference. For detailed registration information, click here.


Workshop Chairs
Philippe Baptiste, Ecole Polytechnique LIX, France
Carla P. Gomes, Cornell University, USA
Youssef Hamadi, Microsoft Research Cambridge, UK
Ashish Sabharwal, Cornell University, USA

Program Committee
Philippe Baptiste, Ecole Polytechnique LIX, France (co-chair)
Roberto Battiti, University of Trento, Italy
Peter van Beek, University of Waterloo, Canada
Ramon Bejar, Universitat de Lleida, Spain
Lucas Bordeaux, Microsoft Research Cambridge, UK
Carla P. Gomes, Cornell University, USA (co-chair)
Youssef Hamadi, Microsoft Research Cambridge, UK (co-chair)
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
Morten Irgens, Actenum, Canada
Alan Mackworth, University of British Columbia, Canada
Gregory M. Provan, University College Cork, Ireland
Ashish Sabharwal, Cornell University, USA (co-chair)
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 crocs09@computational-sustainability.org.

Sponsored by the Institute for Computational Sustainability (ICS) and Microsoft Research.