Workshop: CROCS at CPAIOR-10 Second International Workshop on Constraint Reasoning and Optimization for Computational Sustainability June 15, 2010 Bologna, Italy

Home Workshop Flyer Call for Submissions Accepted Papers Workshop Program Past Workshops CROCS-09

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: 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. 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. 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.