COPLAS 2014 - Workshop on Constraint Satisfaction Techniques (COPLAS)

The workshop aims at providing a forum to discuss novel issues on planning, scheduling, and constraint satisfaction problems. Solutions to many real-world problems need to integrate plan synthesis capabilities with time and resource allocation, which can be efficiently managed by constraint satisfaction and OR techniques. Formulations of P&S problems as CSPs, resource and temporal global constraints, and inference techniques are of particular interest of COPLAS.
Objectives and Topics
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. COPLAS is ranked as CORE B in ERA Conference Ranking and it is covered in selected Elsevier database products.
We invite submissions on any topic relevant to the workshop, particularly those that combine techniques from both perspectives, planning & scheduling, and constraint programming. This includes but is not limited to:
Planning (constraint management, temporal planning, multi-criteria planning, planning with resources, reformulations to CSP etc.),
Scheduling (global constraints, innovative models, robust solutions, energy efficient scheduling, etc.),
Integration of planning and scheduling (from a CSP perspective),
Temporal CSPs,
SAT and ASP based techniques,
Metaheuristics techniques,
Hybrid CP and OR techniques for P&S,
Real life applications
Submission
Papers must be prepared according to the instructions for ICAPS-14 (in AAAI format) and must be no more than ten (10) pages long, including figures and bibliography. Papers must be in the PDF format and should be submitted by February 20, 2014 via the EasyChair conference system.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 the best papers of COPLAS’14.
Important Dates
Paper submission: February 20th, 2014
Notification of acceptance: March 20th, 2014
Camera-ready paper submission: TBA
Workshop date: June 22nd or June 23rd (TBA), 2014
Organizing Committee
Miguel A. Salido (Universidad Politécnica de Valencia, Spain)
Roman Barták (Charles University, Czech Republic)
Program Committee (TENTATIVE)
Federico Barber (Universidad Politecnica de Valencia, Spain)
Roman Bartak (Charles University, The Czech Republic)
Amedeo Cesta (ISTC-CNR, Italy)
Minh Binh Do (NASA Ames Research Center, USA)
Agostino Dovier (Universita Degli Studi di Unide, Italy)
Enrico Giunchiglia (Universita di Genova, Italy)
Peter Jarvis (NASA Ames Research Center, USA)
Michela Milano (Universita di Bologna, Italy)
Eva Onaindia (Universidad Politecnica de Valencia, Spain)
Nicola Policella (European Space Agency, Germany)
Hana Rudova (Masaryk University, The Czech Republic)
Francesca Rossi (University of Padova, Italy)
Migual A. Salido (Universidad Politecnica Valencia, Spain)
Torsten Schaub (Technical University of Darmstadt, Germany)
Dunbing Tang (Nanjing University of Aeronautics&Astronomics, China)
Pascal Van Hentenryck (Brown University, USA)
Enrico Pontelli (New Mexico State University, USA)
Ramiro Varela (Universidad de Oviedo, Spain)
Gerard 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)
Neng-Fa Zhou (The City University of New York, USA)