[DMANET] CALL FOR PARTICIPATION: CP-AI-OR 2015

******************** CALL FOR PARTICIPATION: CP-AI-OR 2015 ********************

The Twelfth International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CPAIOR 2015) invites participants to register for the conference.

Conference Location: Barcelona, Spain
Conference Dates: May 18 - May 22, 2015
Conference Website: http://www.cpaior2015.uconn.edu/
Conference Series: http://www.andrew.cmu.edu/user/vanhoeve/cpaior/
Contact: cpaior2015@gmail.com

******************** CONFERENCE REGISTRATION DETAILS ********************

The registration link is the following:
http://reunionsciencia.eventszone.net/myCongress5/form.php?thisFormCongress=cpaior&thisFormLanguage=en

- Early Bird registration - until March 25th
- Student: 250.00 Euro
- Regular registration: 375.00 Euro
- Workshop and Master Class only: 120.00 Euro
- Late registration - after March 26th
- Student 350.00 Euro
- Regular Registration: 450.00 Euro
- Workshop and Master Class only: 150.00 Euro

The registration fee for participants includes admission to all scientific sessions, congress material, access to electronic proceedings (for a pre-set time window), banquet, reception, tour, coffee breaks, and VAT at the 21% rate.

Proceedings hard-copies are available for pre-order for 50 Euro and will be available for pick up during registration.

******************** CONFERENCE DETAILS ********************

The aim of the conference is to bring together interested researchers from Constraint Programming (CP), Artificial Intelligence (AI), and Operations Research (OR) to present new techniques or applications in combinatorial optimization and to provide an opportunity for researchers in one area to learn about techniques in the others. A main objective of this conference series is also to give these researchers the opportunity to show how the integration of techniques from different fields can lead to interesting results on large and complex problems. Therefore papers that actively combine, integrate, or contrast approaches from more than one of the areas are especially solicited. High quality papers from a single area are also welcome, provided that they are of interest to other communities involved. Application papers showcasing CP/AI/OR techniques on novel and challenging applications or experience reports on such applications are strongly encouraged.

The program will include talks broadly covering the following topics:
- Inference and relaxation methods: constraint propagation, cutting planes, global constraints, graph algorithms, dynamic programming, Lagrangian and convex relaxations, heuristic functions based on constraint relaxation.
- Search methods: branch and bound, intelligent backtracking, incomplete search, randomized search, portfolios, column generation, Benders decompositions or any other decomposition methods, local search, meta-heuristics.
- Integration methods: solver communication, model transformations and solver selection, parallel and distributed resolution techniques, models, and solvers.
- Modeling methods: comparison of models, symmetry breaking, uncertainty, dominance relationships.
- Innovative Applications of CP/AI/OR techniques.
- Implementation of CP/AI/OR techniques and optimization systems.

******************** CONFERENCE SCHEDULE ********************

There is a series of Workshops and a Master Class that are held in conjunction with the conference.

---- WORKSHOPS: MAY 18th ----

- CPAIOR Meets CAV - http://user.it.uu.se/~justin/cpverification/
- ISA: Innovative Scheduling and Scheduling Applications using CP-AI=OR - http://becool.info.ucl.ac.be/isa2015/
- Smart Cities - http://ai.unibo.it/Opt4SmartCities2015

---- MASTER CLASS: MAY 18th - MAY 19th ----

- Constraint Programming and Verification

---- TECHNICAL PROGRAM: MAY 20th - MAY 22nd ----

- Presentations of the 32 accepted papers and three Fast Track papers which are accepted for publication in Constraints
- Three invited talks
- Constraints programming for infeasibility diagnosis with BARON - Yash Puranik and Nikolaos Sahinidis
- IntSat: From SAT to Integer Linear Programming - Robert Nieuwenhuis
- Symmetry in Integer Programing - Jeff Linderoth


******************** ORGANIZERS ********************

Program Chair: Laurent Michel
Conference Chair: Carlos Ansotegui
Local Organizing Committee: Maria Bonet, Jordi Levy, Mateu Villaret
Publicity Chair: David Bergman



**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************