The 20th International Conference on
Principles and Practice of
Constraint Programming
Lyon, France
8-12 September 2014

Workshop on Cloud Computing and Optimization

Aim and Scope

Cloud Computing is a technique for computing which is more and more widely used for a lot of purposes.

It offers a new set of services and an easy way to benefit from a huge capacity of computation. The management of Cloud Computing also defines new problems that may be solved by Optimization techniques.

This workshop aims at bringing together interested researchers from Optimization and Cloud Computing/parallelism communities, and to give them the opportunity to show how the integration of techniques
from Optimization can lead to interesting results on large scale and complex problems of Cloud Computing; and how Cloud Computing can be used for solving more efficiently some Optimization problems.

Any paper presenting ideas, techniques and methods that may be interesting for both communities are welcome. We explicitly encourage the submission of new ideas and methods for integrating Optimization and Cloud Computing techniques that have arisen from real-world applications. We are also interested in prospective papers.

Target audience

This workshop would like to bring together researchers interested in:

  • Cloud Computing
  • Parallelism
  • High Performance Computing
  • Operations Research
  • Problem Solving
  • Constraint Programming
  • SAT
  • MIP


  • 10:30-11:30 Invited Talk: Barry O'Sullivan Barry "Energy Management and Data Centres: Where Optimisation and Learning Meet".
  • 11:30-12:00 Hans-Joachim Goltz and Armin Wolf "Using Constraint Programming for Cloud Computing with Advanced Resource Reservation"
  • 12:00-12:30 Olivier Roussel "Competition and Cooperation of Solvers in the Cloud"
  • 12:30-14:00 lunch break
  • 14:00-15:00 Invited Talk: Christophe Cérin, Yanik Ngoko, Alain Takoudjou "The Resilience project: Paris 13 synthesis of optimization problems in Clouds"
  • 15:00-15:30 Susanne Heipcke "Implementing and publishing cloud optimization applications with Xpress"
  • 15:30-16:00 Mohamed Rezgui, Jean-Charles Régin, Arnaud Malapert "Using Cloud Computing for Solving Constraint Programming Problems"
  • 16.00- 16.30 coffee break
  • 16:30-17:00 Marie Bricage, Tarek Menouer and Bertrand Le Cun "Scheduling several parallel problems resolution in Cloud"
  • 17:00-17:30 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, and Olivier Roussel "Constraint Solving using Parallel Singleton Arc Consistency"
  • 17:30-18:30 Discussion

Another presentation of the schedule


Submissions of extended abstracts are welcome.

Long papers (up to 15 pages excluding references), shorter papers or position papers may also be submitted.

Submissions must be formatted in the Lecture Notes in Computer Science (LNCS) style and send in PDF format by email to the two organizers.

All submissions will be reviewed and those that are well-written and make a worthwhile contribution to the topic of the workshop will be accepted for publication in the workshop proceedings.
The proceedings will be available electronically at CP 2014. Some papers may be selected for being part of a special issue of a journal. At least one author of each accepted paper must attend the workshop. Please note that every workshop participant needs to be registered for the workshop.

Important Dates

  • Submission date: July 15th, 2014
  • Notification of acceptance: August 15th, 2014
  • Camera ready version: August 22nd, 2014
  • Workshop day: September 8, 2014


Program Committee

  • Philippe Codognet (JFLI - CNRS / UPMC / University of Tokyo, Japan)
  • Bernard Gendron (University of Montreal, Canada)
  • Youssef Hamadi (Microsoft Research, Cambridge , UK)
  • Willem-Jan van Hoeve (Carnegie Mellon University, USA)
  • Bertrand Le Cun (University of Versailles Saint-Quentin en Yvelines, France)
  • Arnaud Malapert (University Nice Sophia Antipolis, France)
  • Laurent Michel (University of Connecticut , USA)
  • Laurent Perron (Google, France)
  • Patrick Prosser (Glasgow University, Scotland)
  • Claude-Guy Quimper (University Laval, Québec, Canada)
  • Jean-Charles Régin (University Nice Sophia Antipolis, France)
  • Pierre Schaus (University Louvain-la-Neuve, Belgium)