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

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 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: April 2, 2010 (Friday), 11:59 Pacific Time
Notification: April 10 April 17, 2010 (Saturday)
Workshop: June 15, 2010 (Tuesday)

Submission, Registration, Attendance

Papers, abstracts, and discussion proposals should be submitted as a PDF file by sending an email to crocs-at-cpaior10@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, CPAIOR-10 organization requires that all workshop attendies must pay either the CPAIOR registration fee including the workshop fee or only the workshop fee. For detailed registration information, please refer to the CPAIOR-10 web page.

Workshop Organizers

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

Ramon Bejar, Universitat de Lleida, Spain
Lucas Bordeaux, Microsoft Research Cambridge, UK
Youssef Hamadi, Microsoft Research Cambridge, UK
Pascal Van Hentenryck, Brown University, USA
Willem-Jan van Hoeve, Carnegie Mellon University, USA
Holger Hoos, University of British Columbia, Canada
Morten Irgens, Gjovik University College, Norway
Andreas Krause, California Institute of Technology, USA
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, Brown University, 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-cpaior10@computational-sustainability.org.



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