[SMT-LIB] CPAIOR 2017 Registration (early deadline April 15!)

Michele Lombardi michele.lombardi2 at unibo.it
Wed Apr 12 10:19:05 EDT 2017


CALL FOR PARTICIPATION: CPAIOR 2017
==============================================================================

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

- Conference Location: Padova, Italy 
- Conference Dates: June 5 - June 8, 2017
- Conference Website: http://cpaior2017.dei.unipd.it
- Conference Series: http://www.andrew.cmu.edu/user/vanhoeve/cpaior/
- Contact: cpaior2017 at easychair.org

EARLY BIRD REGISTRATION DEADLINE: **April 15**

The conference program includes a master class on "Computational Techniques for
optimization" and a workshop of the EURO working group on "Data Science Meets
Optimization (DSO)".

CONFERENCE REGISTRATION DETAILS
==============================================================================

The CPAIOR registration can be done on-line at:

http://www.sabiwork.it/registration/

- The deadline for early registrations is April: 15, 2017
- The deadline for regular registrations is: May 31, 2017
- It is also possible to register on-site (at an increased fee)

The fees are as follows:

Type                                  | Early bird | Late    | On-site
----------------------------------------------------------------------
Regular                               | 390€       | 450€    | 550€
Student                               | 220€       | 280€    | 350€
Master class & workshop only          | 80€        | 100€    | 120€
Social dinner ticket                  | 60€        | 60€     | 80€

- All fees already include a 22% VAT.
- The conference fee includes the master class & workshop
- The conference fee does _not_ include the social dinner ticket
- It is possible to buy up to one extra social dinner ticket per registration,
  for accompanying persons

The proceedings will be available in electronic format

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.

The program covers broadly 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 relaxations. 
* Search methods: branch and bound, intelligent backtracking, incomplete
  search, randomized search, portfolios, column generation, Benders
  decomposition or any other decomposition methods, local search and
  meta­heuristics
* Integration of machine learning and optimization: learning-based search and
  heuristics, use of predictive models in optimization, constraint acquisition,
  optimization for training machine learning models
* 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
==============================================================================

The detailed program and schedule are available:

- On the conference web site, at: http://cpaior2017.dei.unipd.it
- In PDF at: http://cpaior2017.dei.unipd.it/programCPAIOR2017.pdf

June 5: Master class and workshop
------------------------------------------------------------------------------

Master class on "Computation Techniques for Optimization", with lectures:

- "Solving Mixed Integer Programs in Practice", 
- "MiniCP: A Minimalistic Educational Solver",
- "Modeling, Constraint Solving and Model Manipulation",
- "Searching in Style and coping with Hybrids"
- The first lecture will be held by prof. Tobias Achterberg,
  (http://www.zib.de/members/achterberg)
- The remaining lectures will be jointly held by:
  - prof. Laurent Michel (http://ash.engr.uconn.edu/~ldm/work/)
  - prof. Pascal Van Hentenryck (http://pascalvanhentenryck.engin.umich.edu)
  - prof. Pierre Schaus (https://www.info.ucl.ac.be/~pschaus/)

EURO group workshop on "Data Science Meets Optimization"

- Workshop web page: http://ds-o.org/index.php/workshops/dso-workshops-2017
- Keynote talks by:
  - prof. Tias Guns (Vrije Universiteit Brussel)
  - prof. Holger Hoos (Universiteit Leiden)


June 6 -- June 8: Technical program
------------------------------------------------------------------------------

- Presentations of the 32 accepted papers and 4 Fast Track papers which are
  accepted for publication on the "Constraints" journal
- Two invited talks, by
  - Prof. Christian Kersting, Relational Quadratic Programming: Exploiting
    Symmetries for Modelling and Solving
    (http://www-ai.cs.uni-dortmund.de/PERSONAL/kersting.html)
  - Prof. Andrea Lodi, "On the role of (machine) learning in (mathematical)
    optimization" (https://www.gerad.ca/en/people/andrea-lodi)

More details are available on the conference web site

ORGANIZERS
==============================================================================

Program Chairs: Domenico Salvagnin and Michele Lombardi
Conference Chair: Domenico Salvagnin



More information about the SMT-LIB mailing list