Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS)
Download the Online Proceedings
Original COPLAS website
The areas of AI planning and scheduling have seen important advances thanks to the application of constraint satisfaction models and techniques. Especially solutions to many real-world problems need to integrate plan synthesis capabilities with resource allocation, which can be efficiently managed by using constraint satisfaction techniques.
The workshop will aim at providing a forum for researchers in the field of Artificial Intelligence to discuss novel issues on planning, scheduling, constraint programming/constraint satisfaction problems (CSPs) and many other common areas that exist among them. On the whole, the workshop will mainly focus on managing complex problems where planning, scheduling and constraint satisfaction must be combined and/or interrelated, which entails an enormous potential for practical applications and future research.
This workshop continues the trail of the successful COPLAS'06, COPLAS'07, COPLAS'08, COPLAS'09, COPAS'10 and COPLAS’11 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems. During two years, the workshop was a joint workshop for both ICAPS and CP, which provided a broader audience and gave the participants of both events the opportunity to exchange ideas and approaches that lead to a valuable and fruitful discussion, and inspired forthcoming research.
COPLAS is ranked as CORE B in ERA Conference Ranking.
COPLAS is covered in selected Elsevier database products.
Topics of Interest
This topics of interest includes but is not limited to:- constraint modelling for planning & scheduling
- reformulations of constraint models for P&S
- global constraints motivated by P&S
- temporal CSPs
- integration of temporal and resource reasoning via CSPs
- search techniques and heuristics
- distributed/parallel solving techniques
- constraint management in P&S systems
- real-life applications
Accepted Papers
- Partially Grounded Planning as Quantified Boolean Formula
Michael Cashmore and Maria Fox - SMT Spatio-Temporal Planning
Lamia Belouaer and Frédéric Maris - Towards Planning With Very Expressive Languages via Problem Decomposition Into Multiple CSPs
Uwe Koeckemann, Federico Pecora and Lars Karlsson - Integrated Project Selection and Resource Scheduling of Offshore Oil Well Developments: An Evaluation of CP Models and Heuristic Assumptions
Thiago Serra, Gilberto Nishioka and Fernando Marcellino - Constraint-Based Allocation of Cloud Resources to Maximize Mission Effectiveness
Mark Boddy - A Constraint-based Framework for AEOS Mission Planning and Scheduling
Zhenyu Lian, Yuejin Tan, Yingwu Chen, Feng Yao and Jufang Li
Workshop Schedule
TAMPRA 2012 is a half day workshop and it will be held on June 25th 2012.
Each accepted paper will be allocated 20 minutes of time. Please make sure that your presentation does not go over 15 minutes, leaving time for questions.
| 11:20 | Welcome message and introduction (Miguel A. Salido) |
| 11:30 - 12:40 | Session 1: Solving Techniques (Chair: Miguel A. Salido) |
| Partially Grounded Planning as Quantified Boolean Formula Michael Cashmore and Maria Fox |
|
| SMT Spatio-Temporal Planning Lamia Belouaer and Frédéric Maris |
|
| Towards Planning With Very Expressive Languages via Problem Decomposition Into Multiple CSPs Uwe Koeckemann, Federico Pecora and Lars Karlsson |
|
| 12:40 - 14:00 | Lunch |
| 14:00 - 15:10 | Session 2: Application (Chair: Miguel A. Salido) |
| Integrated Project Selection and Resource Scheduling of Offshore Oil Well Developments: An Evaluation of CP Models and Heuristic Assumptions Thiago Serra, Gilberto Nishioka and Fernando Marcellino |
|
| Constraint-Based Allocation of Cloud Resources to Maximize Mission Effectiveness Mark Boddy |
|
| A Constraint-based Framework for AEOS Mission Planning and Scheduling Zhenyu Lian, Yuejin Tan, Yingwu Chen, Feng Yao and Jufang Li |
Submission Procedure
Papers must be prepared according to the AAAI style template and must be no more than ten (10) pages long, including figures and bibliography. Papers must be in PDF format and should be submitted via email to Miguel A. Salido (msalido@dsic.upv.es). Every submitted paper will be reviewed by at least two members of the Program Committee. Accepted papers will be included in the workshop notes.
A journal special issue is under consideration for best papers of COPLAS'12.
Workshop Format: The workshop will be organized in technical sessions, each session will be concluded by a commentary of the session chair. The goal of the commentary is not only to summarise the content of talks but to highlight important novel points and raise questions to foster further discussion. We also plan to have individual commentary of each paper done by other authors in the session. Rather than being a mini-conference, the workshop will focus on opening new research areas and topics, discussing possible solutions, exchanging ideas and approaches, and in general inspiring forthcoming research.
Important Dates
- Submission deadline: April 6th, 2012 ** NEW EXTENDED DEADLINE **
- Notification date: April 30th, 2012
- Final date for camera-ready copy: May 11th, 2012
- Workshop dates: June 24-25, 2012
Organizers
- Miguel A. Salido (contact person), Universidad Politécnica de Valencia, Spain
Phone: +34.96.3877000 (Ext. 83512)
email: msalido at dsic.upv.es - Roman Bartak, Charles University, Praha, Czech Republic
Phone: +420 221 914 242
email: bartak at kti.mff.cuni.cz
Program Committee
- Federico Barber, Universidad Politécnica de Valencia, Spain
- Roman Bartak, Charles University, The Czech Republic
- Amedeo Cesta, ISTC-CNR, Italy
- Minh Binh Do, Parc, USA
- Enrico Giunchiglia, Universita di Genova, Italy
- Peter Jarvis, NASA Ames Research Center, USA
- Alexander Nareyek, National University of Singapore, Singapore
- Eva Onaindía, Universidad Politécnica de Valencia, Spain
- Nicola Policella, European Space Agency, Germany
- Hana Rudová, Masaryk University, The Czech Republic
- Francesca Rossi, University of Padova, Italy
- Migual A. Salido, Universidad Politecnica Valencia, Spain
- Pascal Van Hentenryck, Brown University, USA
- Gérard Verfaillie, ONERA, Centre de Toulouse, France
- Vincent Vidal, CRIL-IUT, France
- Petr Vilim, ILOG, France
- Toby Walsh, UNSW, Sydney and NICTA, Australia
- Neil Yorke-Smith, American University of Beirut/SRI International, USA
Links
List of previously-organized related workshops by any of the Workshop Organizing Committee:
COPLAS'11 ICAPS 2011 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems
COPLAS'10 ICAPS 2010 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems
COPLAS'09 ICAPS 2009 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems
COPLAS'08 CP/ICAPS Joint Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems
COPLAS'07 CP/ICAPS Joint Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems
COPLAS'06 ICAPS Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems
CPPS-05
ICAPS Workshop on Constraint Programming for Planning and Scheduling
WIPIS-05
AAAI Workshop on "Integrating Planning Into Scheduling"
WIPIS-04
ICAPS Workshop on "Integrating Planning Into Scheduling"
IBERAMIA
2002 workshop:
1st Workshop on Planning, Scheduling and Temporal Reasoning.
CAEPIA
2003 workshop:
2nd Workshop on Planning, Scheduling and Temporal Reasoning.
CAEPIA
2005 workshop:
Workshop on Planning, Scheduling and Temporal Reasoning.
CAEPIA
2007 workshop:
Workshop on Planning, Scheduling and Temporal Reasoning.
CAEPIA
2009 workshop:
Workshop on Planning, Scheduling and Temporal Reasoning.
PLANET-RNPST:
1st PLANET-RNPST Spanish Industrial Day.
AI
Seminar
AI Problem Solving Seminar.
PLANET
Summer School:
International Summer School on AI Planning 2003.
Constraint Satisfaction for Planning and Scheduling.