Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Monday, September 5
 

08:15

Registration
Monday September 5, 2016 08:15 - 09:00
Hallway Lascrosses building

08:15

Welcome coffee
Monday September 5, 2016 08:15 - 09:00
Cafeteria Lascrosses building

09:00

CP meets Verification - Invited talk: Challenges of Program Verification with SPARK
    See presentations
SPARK is an industrially supported formal verification toolset for critical software written in the Ada programming language. SPARK technology is based on the Why3 intermediate language and toolset for formal program verification, and the Alt-Ergo, CVC4 and Z3 automatic provers. SPARK is used to formally verify properties of critical software ranging from absence of run-time errors to functional correctness. Current challenges for automatic proof are the ability to deal with nonlinear arithmetic, conversions between types (bitvectors, integers, floats, reals), handling of floating-point arithmetic and the combination of all these with quantification arising from both user specifications and the encoding of programming language specifications. We present the achievements of current projects ProofInUse and SOPRANO, and the roadmap for better use of automatic provers in formal program verification.

Moderators
Speakers
avatar for Yannick Moy

Yannick Moy

Senior Software Engineer, AdaCore SAS
Yannick Moy is a Senior Software Engineer at AdaCore and co-director of the ProofInUse joint laboratory. At AdaCore, he works on software source code analyzers CodePeer and SPARK, aiming either at detecting bugs or at verifying safety/security properties. Yannick leads the developments of SPARK 2014, a product he presents in articles, conferences, classes and blogs (in particular www.spark-2014.org). Yannick previously worked on source code... Read More →


Monday September 5, 2016 09:00 - 09:35
B202 Bosco building

09:00

Doctoral Programme
    See presentations
  • 09:00: Invited talk - Helmut Simonis  
  • 09:50: Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving, Jeremias Berg and Matti Järvisalo
  • 09:55: Four-Bar Linkage Synthesis Using Non-Convex Optimization, Vincent Goulet, Wei Li, Hyunmin Cheong, Francesco Iorio and Claude-Guy Quimper

Moderators
avatar for Tias Guns

Tias Guns

Post-Doc, KU Keuven

Speakers
avatar for Jeremias Berg

Jeremias Berg

University of Helsinki
avatar for Vincent Goulet

Vincent Goulet

Masters Student, Université Laval
avatar for Helmut Simonis

Helmut Simonis

Insight Centre for Data Analytics



Monday September 5, 2016 09:00 - 10:00
Amphi Bosco Bosco building

09:00

Constraint-Based Methods for Bioinformatics Workshop
    See presentations
  • 09h00-09h30: Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli. Logic Programming Applied to Genome Evolution in Cancer

  • 09h30-10h00: Katinka Becker, Martin Gebser, Torsten Schaub and Alexander Bockmayr. Answer Set Programming for Logical Analysis of Data


Moderators
avatar for Simon Degivry

Simon Degivry

INRA MIAT

Speakers
avatar for Alessandro Dal Palu'

Alessandro Dal Palu'

University of Parma


Monday September 5, 2016 09:00 - 10:00
B201 Bosco building

09:00

Configuration Workshop
    See presentations
  • 09h00: Welcome
  • 09h10: Recommendation for product configuration: an experimental evaluation. Hélène Fargier, Pierre-François Gimenez and Jérôme Mengin. 
  • 09h35: Recommending and Configuring Smart Home Installations. Gerhard Leitner, Alexander Felfernig, Seda Polat Erdeniz, Arda Akcay, Anthon Fercher, Klaus Isak and Michael Jeran. 

Moderators
avatar for Thorsten Krebs

Thorsten Krebs

Consultant, encoway GmbH

Speakers
avatar for Gerhard Leitner

Gerhard Leitner

Alpen Adria Universitaet Klagenfurt


Monday September 5, 2016 09:00 - 10:00
B104 Bosco building

09:00

CP meets Verification Workshop
  • 09:00. Openning
  • 09:00 - 09:35. Invited talk: Challenges of Program Verification with SPARK, Yannick Moy. Abstract: SPARK is an industrially supported formal verification toolset for critical software written in the Ada programming language. SPARK technology is based on the Why3 intermediate language and toolset for formal program verification, and the Alt-Ergo, CVC4 and Z3 automatic provers. SPARK is used to formally verify properties of critical software ranging from absence of run-time errors to functional correctness. Current challenges for automatic proof are the ability to deal with nonlinear arithmetic, conversions between types (bitvectors, integers, floats, reals), handling of floating-point arithmetic and the combination of all these with quantification arising from both user specifications and the encoding of programming language specifications. We present the achievements of current projects ProofInUse and SOPRANO, and the roadmap for better use of automatic provers in formal program verification.
  • 09:35 - 10:00. Regular talk: Mixing Polyedra and Boxes Abstract Domain for Constraint Solving, Marie Pelleau, Emmanuel Rauzy, Ghiles Ziat, Charlotte Truchet, Antoine Miné.

Speakers
avatar for Yannick Moy

Yannick Moy

Senior Software Engineer, AdaCore SAS
Yannick Moy is a Senior Software Engineer at AdaCore and co-director of the ProofInUse joint laboratory. At AdaCore, he works on software source code analyzers CodePeer and SPARK, aiming either at detecting bugs or at verifying safety/security properties. Yannick leads the developments of SPARK 2014, a product he presents in articles, conferences, classes and blogs (in particular www.spark-2014.org). Yannick previously worked on source code... Read More →
avatar for Marie Pelleau

Marie Pelleau

UPMC - Lip6


Monday September 5, 2016 09:00 - 10:00
B202 Bosco building

09:35

CP meets Verification Workshop
    See presentations
  • 09h35-10h00: Mixing Polyedra and Boxes Abstract Domain for Constraint Solving, Marie Pelleau, Emmanuel Rauzy, Ghiles Ziat, Charlotte Truchet, Antoine Miné.

Moderators
Speakers
avatar for Marie Pelleau

Marie Pelleau

UPMC - Lip6


Monday September 5, 2016 09:35 - 10:00
B202 Bosco building

10:00

Coffee Break
Even more coffee and croissants!

Monday September 5, 2016 10:00 - 10:30
Cafeteria Lascrosses building

10:30

CP meets Verification - Invited talk: Model-Constructing Satisfiabilty Calculus
    See presentations
I'll present the MCSAT approach to solving satisfiability modulo theory (SMT) problems. The MCSAT framework builds on the ideas found in modern CDCL-style SAT solvers and generalizes them to first-order setting. Although the main ideas in MCSAT come from SAT solving, in the first-order setting there are many connections to CP: a MCSAT solver operates over a domain where it maintains local consistency using dedicated propagators. The appeal of the new approach is its simplicity, deductive power, extensibility, and effectiveness on real-world problems. MCSAT has been very successful in attacking complex domains such as non-linear real and integer arithmetic.

Moderators
Speakers
avatar for Dejan Jovanovic

Dejan Jovanovic

SRI International
Dejan Jovanović is a computer scientist in the Computer Science Laboratory at SRI International. His research interests are automated reasoning, satisfiability, and model-checking. He is involved in development of Yices2 and CVC4 SMT solvers. He received his Ph.D. degree in computer science from New York University.


Monday September 5, 2016 10:30 - 11:05
B202 Bosco building

10:30

Doctoral Programme
    See presentations
  • 10:30: Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control, Boon Ping Lim, Hassan Hijazi, Sylvie Thiebaux and Menkes van Den Briel
  • 10:35: Evaluation of New Branching Heuristic for Tie-breaking, Seongsoo Moon and Mary Inaba
  • 10:50: SABIO: An Implementation of MIP and CP for Interactive Soccer Queries, Robinson Duque, Juan Francisco Diaz and Alejandro Arbelaez
  • 10:55: Using CP and ILP with tree decomposition to solve the sum colouring problem, Maël Minot, Samba Ndojh Ndiaye and Christine Solnon
  • 11:10: Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints, Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Maria Andreina Francisco Rodriguez, Justin Pearson and Helmut Simonis
  • 11:15: Symbolic reasoning for constraint solvers with arrays, Quentin Plazar, Sebastien Bardin, Arnaud Gotlieb and Mathieu Acher
  • 11:30: A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes, Kyle E. C. Booth, Goldie Nejat and Chris Beck
  • 11:35: An Exact Algorithm for Unicost Set Covering, Emir Demirović, Nysret Musliu, Katsumi Inoue and Théo Le Calvar
  • 11:50: Morphing between Stable Matching Problems, Ciaran McCreesh, Patrick Prosser and James Trimble
  • 11:55: An adaptive parallel SAT solver, Nicolas Szczepanski, Jean-Marie Lagniez, Sebastien Tabary and Gilles Audemard

Moderators
avatar for Tias Guns

Tias Guns

Post-Doc, KU Keuven

Speakers
avatar for Ekaterina Arafailova

Ekaterina Arafailova

PhD Student, Armines (Mines Nantes)
avatar for Kyle Booth

Kyle Booth

University of Toronto
RD

Robinson Duque

Universidad del Valle
avatar for Boon-Ping Lim

Boon-Ping Lim

ANU / Data61
avatar for Maël Minot

Maël Minot

INSA Lyon
SM

Seongsoo Moon

Dotoral course, University of Tokyo
QP

Quentin Plazar

Inria Rennes Bretagne-Atlantique
avatar for Nicolas Szczepanski

Nicolas Szczepanski

CRIL UMR 8188
JT

James Trimble

University of Glasgow



Monday September 5, 2016 10:30 - 12:00
Amphi Bosco Bosco building

10:30

Constraint-Based Methods for Bioinformatics Workshop
    See presentations
  • 10h00-10h30: Louis Fippo Fitime, Olivier Roux, Carito Guziolowski and Loïc Paulevé. Identification of Bifurcations in Biological Regulatory Networks using Answer-Set Programming

  • 10h30-11h00: Jean-Marc Alliot, Martín Diéguez and Luis Farinas del Cerro. Metabolic Pathways as Temporal Logic Programs

  • 11h00-11h30: Martin Morterol, Philippe Dague, Sabine Peres and Laurent Simon. Minimality of Metabolic Flux Modes under Boolean Regulation Constraints


Moderators
avatar for Agostino Dovier

Agostino Dovier

University of Udine

Speakers
LF

Louis Fippo Fitime

Ecole Centrale de Nantes, IRCCyN UMR CNRS 6597
MM

Martin Morterol

Université Paris Sud


Monday September 5, 2016 10:30 - 12:00
B201 Bosco building

10:30

Configuration Workshop
    See presentations
  • 10h30: Concurrent configuration of product and process : moving towards ETO and dealing with uncertainties. Sylla Abdourahim, Élise Vareilles, Michel Aldanondo, Thierry Coudert, Laurent Geneste and Paul Pitiot.
  • 11h00: Assessing configurator user need for social interation during the product configuration process. Chiara Grosso, Cipriano Forza and Alessio Trentin. 
  • 11h30: Improved Performance and Quality of Configuration Systems by Receiving Real-Time Information from Suppliers. Katrin Kristjansdottir, Sara Shafiee, Martin Bonev, Lars Hvam, Morten Hugo Bennick and Christian S. Andersen.

Moderators
avatar for Cipriano Forza

Cipriano Forza

University of Padova

Speakers
avatar for Martin Bonev

Martin Bonev

Researcher, Technical University of Denmark
Current interests: | - Product architecture design for configuration | - Value chain automation
CG

Chiara Grosso

Dep. of Management and Engineering - University of Padua


Monday September 5, 2016 10:30 - 12:00
B104 Bosco building

10:30

Constraint Modelling and Reformulation Workshop
    See presentations
  • 10:30-11:00 G. Schenner and R. Taupe. Encoding Object-oriented Models in MiniZinc   
  • 11:00-11:30 K. Leo and G. Tack. Debugging Unsatisfiable Constraint Models
  • 11:30-12:00 G. Perez and J.-C. Regin. Building efficient soft and cost MDD constraints

Moderators
avatar for Steven Prestwich

Steven Prestwich

University College Cork

Speakers
KL

Kevin Leo

Monash University
avatar for Guillaume Perez

Guillaume Perez

I3S - University Nice Sophia Antipolis
avatar for Richard Taupe

Richard Taupe

Research Scientist, Siemens


Monday September 5, 2016 10:30 - 12:00
B102 Bosco building

11:05

CP meets Verification - Invited talk: Optimization Modelling for Software Developers, or How to convert procedural code to constraints!
    See presentations
Software developers are an ideal channel for the distribution of discrete optimization (DO) technology. Unfortunately, including even basic optimisation functionality in an application currently requires the use of an entirely separate paradigm with which most software developers are not familiar. We suggest an alternative interface to DO designed to overcome this barrier. The interface allows an optimisation problem to be defined in terms of procedures rather than decision variables and constraints. Optimisation is seamlessly integrated into a wider application through automatic conversion between this definition and a conventional model solved by an external solver. The core of the method is translating procedural object oriented code into constraints. This translation is also useful for other applications such as symbolic execution of the code, e.g. in Congolic testing. We discuss how to create the best translation of procedural code, better than existing DO and SMT approaches, and how we can translate bounded loops more effectively. Finally we briefly describe a global constraint for reaching definitions, which encapsulates the essential problem of converting procedural code to constraints. This work is joint with Kathryn Francis.

Moderators
Speakers
avatar for Peter Stuckey

Peter Stuckey

Professor, University of Melbourne and Data61
Peter Stuckey is a Professor in Computer Science at the University of Melbourne. His research interests focus on constraints and constraint solving, which has widespread use in discrete optimization, program analysis, constraint based graphics, and bioinformatics. He has a long standing interest in (constraint) programming/modelling languages having helped develop CLP(R), HAL, Zinc and MiniZinc.


Monday September 5, 2016 11:05 - 11:40
B202 Bosco building

11:40

CP meets Verification Workshop
    See presentations
  • 11h40-12h05: An Improved Constraint Programming Model for Parametric Interval Markov Chain Verification, Anicet Bart, Benoît Delahaye, Éric Monfroy, Charlotte Truchet

Moderators
Speakers
avatar for Anicet Bart

Anicet Bart

LINA - Ecole des Mines de Nantes


Monday September 5, 2016 11:40 - 12:00
B202 Bosco building

12:00

Lunch Break
Food!

Monday September 5, 2016 12:00 - 13:30
Cafeteria Lascrosses building

13:30

CP and AI Workshop - Invited Talk: From Constraint Programming to Probabilistic Programming to Approximate Programming: Observations and Thoughts
    See presentations
  • 13h30: Introduction: Eugene Freuder
  • 13h35: Invited talk: Rina Dechter

Abstract: Languages and algorithms of Constraint Programming have made a significant impact on Artificial Intelligence, and were driven to a large extent by the Artificial Intelligence agenda. An area where cross-fertilization has been particularly productive is in Graphical Models. Much of this work is at the level of (propositional) solvers and algorithms only. However, the experience gained in the CP community in developing Constraint Programming languages may not have gone far enough in penetrating the rest of AI.  An excellent opportunity for changing that exists in the recent area of Probabilistic Programming.

CP may join the language effort by extending its constraint languages to accommodate uncertainty and continuous variables, and develop solvers that can effectively handle first-order deterministic and probabilistic queries.  In addition, equipping such languages with anytime approximation solvers that have predictive performance guarantees could lead to new paradigms (e.g., “Approximate Programming”).

I will present some observations and thoughts along those lines.

 

Moderators
avatar for Eugene Freuder

Eugene Freuder

UCC, Insight Centre for Data Analytics

Speakers
avatar for Rina Dechter

Rina Dechter

University of California, Irvine


Monday September 5, 2016 13:30 - 14:00
B203 Bosco building

13:30

CP meets Verification - Invited talk: Constraint Satisfaction over Bit-Vectors
    See presentations
Reasoning over bit-vectors arises in a variety of applications in verification and cryptography. This talk considers a bit-vector domain for constraint programming and its associated filtering algorithms. The domain supports all the traditional bit operations and correctly models modulo-arithmetic and overflows. The domain implementation uses bit operations of the underlying architecture, avoiding the drawback of a bit-blasting approach. The filtering algorithms implement either domain consistency on the bit-vector domain or bit consistency. Filtering algorithms for logical and structural constraints typically run in constant time, while arithmetic constraints such as addition run in time linear in the size of the bit-vectors. The talk will discuss how to channel bit-vector variables with an integer variable and how to make use of the infrastructure to tackle problems commonly found in the Bit Vector Theory of the SMT-LIB benchmark suite. This is a joint work with P. Van Hentenryck (U. Michigan) , G. Johnson (U. Connecticut).

Moderators
Speakers
avatar for Laurent Michel

Laurent Michel

Associate Professor, University of Connecticut
Laurent's primary research interests lie at the intersection of Programming Language and Combinatorial Optimization. His efforts are directed to the construction of software tools that considerably simplify the development of complex application (most belong to the NP class) for discrete and continuous optimization problems. He co-authored COMET, the first Platform for Constraint-Based Local Search and is now focusing on the Objective-CP... Read More →


Monday September 5, 2016 13:30 - 14:05
B202 Bosco building

13:30

Doctoral Programme
    See presentations
  • 13:30: Invited talk: Louis-Martin Rousseau
  • 14:20: A Monte Carlo Large Neighbourhood Search for Vehicle Routing Problems, Katharina Glock, Anne Meyer and Guido Tack
  • 14:35 Studying parallel communication strategies with POSL, Alejandro Reyes Amaro, Eric Monfroy and Florian Richoux
  • 14:50 An Interval Filtering Operator for Upper and Lower Bounding in Constrained Global Optimization, Olivier Sans, Remi Coletta and Gilles Trombettoni

Moderators
avatar for Tias Guns

Tias Guns

Post-Doc, KU Keuven

Speakers
AR

Alejandro Reyes Amaro

LINA - Université de Nantes
KG

Katharina Glock

FZI Research Center for Information Technology
avatar for Louis-Martin Rousseau

Louis-Martin Rousseau

Professor, CIRRELT - École Polytechnique



Monday September 5, 2016 13:30 - 15:00
Amphi Bosco Bosco building

13:30

Constraint-Based Methods for Bioinformatics Workshop
    See presentations
  • 13h30-14h00: Clément Viricel, David Simoncini, Thomas Schiex and Sophie Barbe. Guaranteed Weighted Counting for Affinity Computation: beyond Determinism and Structure (CP2016 paper)

  • 14h00-14h30: Maryana Wånggren, Martin Billeter, and Graham Kemp. Computational protein modelling based on limited sets of constraints

  • 14h30-15h00: Ludwig Krippahl and Pedro Barahona. Improving protein docking with redundancy constraints (CP2016 paper)


Moderators
avatar for Alessandro Dal Palu'

Alessandro Dal Palu'

University of Parma

Speakers
avatar for Pedro Barahona

Pedro Barahona

Universidade NOVA de Lisboa
avatar for Clément Viricel

Clément Viricel

PhD Student, INRA
MW

Maryana Wånggren

Chalmers University of Technology
Protein modelling


Monday September 5, 2016 13:30 - 15:00
B201 Bosco building

13:30

Configuration Workshop
    See presentations
  • 13h30: Deriving Tighter Component Cardinality Bounds for Product Configuration. Richard Taupe, Andreas Falkner and Gottfried Schenner. 
  • 14h00: Automatic Configuration of Hybrid Mathematical Models. Michael Barry and René Schumann. 
  • 14h30: Solving the Partner Units Configuration Problem with Heuristic Constraint Answer Set Programming. Erich Teppan.

Moderators
avatar for Alexander Felfernig

Alexander Felfernig

Graz University of Technology

Speakers
avatar for Richard Taupe

Richard Taupe

Research Scientist, Siemens
avatar for Erich Teppan

Erich Teppan

Universität Klagenfurt


Monday September 5, 2016 13:30 - 15:00
B104 Bosco building

13:30

Constraint Modelling and Reformulation Workshop
    See presentations
  • 13:30-14:00 W. Sawangphol, Y.-F. Li, and G. Tack. CP4DL: Constraint-based Reasoning for Expressive Description Logics
  • 14:00-14:30 M. Codish, M. Frank, and V. Lagoon. DNA Word Design: A New Constraint Model and New Results
  • 14:30-15:00 Z. Erraji, A. Hakkou, A. Benamrane, I. Benelallam, and El H. Bouyakhf. A Distributed Constraint Reasoning Approach Towards Intelligent Marketplace Environment

Moderators
avatar for Steven Prestwich

Steven Prestwich

University College Cork

Speakers
avatar for Imade Benelallam

Imade Benelallam

Researcher, SI2M Laboratory, INSEA Rabat Institut
avatar for Michael Codish

Michael Codish

Ben Gurion University
avatar for Guido Tack

Guido Tack

Monash University


Monday September 5, 2016 13:30 - 15:00
B102 Bosco building

14:00

CP and AI Workshop
    See presentations

Moderators
avatar for Eugene Freuder

Eugene Freuder

UCC, Insight Centre for Data Analytics

Speakers
avatar for Tias Guns

Tias Guns

Post-Doc, KU Keuven
avatar for Steven Prestwich

Steven Prestwich

University College Cork
avatar for Thomas Schiex

Thomas Schiex

Researcher, INRA
Thomas Schiex works at the intersection of constraint programming, discrete graphical model optimization and their applications in biology. He is (softly) leading the bioinformatics team at INRA Toulouse and is also the conference chair of CP 2016 (with the support of several Toulouse CP enthusiasts).


Monday September 5, 2016 14:00 - 15:00
B203 Bosco building

14:05

CP meets Verification Workshop
    See presentations
  • 14h05-14h30: Tight coupling between bit-vector and integer domains can surpass bit-blasting SMT solvers, Zakaria Chihani
  • 14h30-14h55: On Finding program input values maximizing the rounding-off error, Mohammed Said Belaid, Claude Michel, Yahia Lebbah, Michel Rueher

Moderators
Speakers
avatar for Claude Michel

Claude Michel

laboratoire I3S


Monday September 5, 2016 14:05 - 14:55
B202 Bosco building

15:00

Coffee Break
Even more coffee and croissants!


Monday September 5, 2016 15:00 - 15:30
Cafeteria Lascrosses building

15:30

CP meets Verification - Invited talk: The use of Constraint Programming in the testing and analysis of a telecommunications protocol
    See presentations
In this talk I will summarise some of the work that I have been doing in collaboration with Ericsson and SICS on using constraint programming to model telecommunication protocols. The case study used is the Public Warning System service, which is a part of the Long Term Evolution (LTE) 4G standard. Various parts of the protocol were modelled in MiniZinc, which allowed the derivations of test cases and the ability analysis existing protocol logs. Very early on we were able to find errors in an existing bespoke test harness for this protocol. I will talk about the general approach and how other protocols could be modelled and the use of constraint programming as a test harness.

Moderators
Speakers
avatar for Justin Pearson

Justin Pearson

Senior Lecturer, Uppsala universitet
Justin Pearson is a senior lecturer(Docent) at the department of IT at Uppsala University. His main focus of research is on constraint programming, its theory, its implementation through propagator design, and its applications. He has worked on applications of constraint programming in diverse areas from air-traffic control with Eurocontrol, to software testing with Ericsson. His research in software testing has included the use of using... Read More →



Monday September 5, 2016 15:30 - 16:05
B202 Bosco building

15:30

Constraint Modelling and Reformulation Workshop
    See presentations
  • 15:30-16:00 V. Armant and K. N. Brown. Reformulation of Drivers’ Fixed Path Constraints in Ridesharing Problemsarma
  • 16:00-16:30 S. D. Prestwich, S. A. Tarim, and R. Rossi. Constraint Problem Specification as Compression

Speakers
avatar for Steven Prestwich

Steven Prestwich

University College Cork


Monday September 5, 2016 15:30 - 16:30
B102 Bosco building

15:30

Constraint-Based Methods for Bioinformatics Workshop
    See presentations
  • 15h30-16h00: Sebastien François, Rumen Andonov, Hristo Djidjev and Dominique Lavenier. Global Optimization Methods for Genome Scaffolding

  • 16h00-16h30: Eric Bourreau, Annie Chateau, Clément Dallard and Rodolphe Giroudeau. A Graph Constraints Formulation for Contigs Scaffolding

  • 16h30: WCB16 Concluding Remarks

Moderators
Speakers
avatar for Rumen Andonov

Rumen Andonov

INRIA/University of Rennes 1
avatar for Annie Chateau

Annie Chateau

LIRMM - UM


Monday September 5, 2016 15:30 - 17:00
B201 Bosco building

15:30

Doctoral Programme
    See presentations
  • 15:30: A Portfolio Approach for Enforcing Minimality in a Tree Decomposition, Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry and Stephen D. Scott
  • 15:45: Mining frequent patterns using CP: a comparative study, Valentin Lemière, Yann Dauxais, Patrice Boizumault and Arnaud Lallouet
  • 15:50: Learning parameters for the Sequence constraint from positive examples, Emilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper and Jason Sweeney
  • 16:05: Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems, Wen-Yang Ku and Chris Beck
  • 16:10: Constraint Programming For Mining Partially Ordered Motifs, Vincent Vigneron, David Lesaint, Barry Hurley, Deepak Mehta and Barry O’sullivan
  • 16:25: A global constraint for closed itemset mining, Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemiere, Christian Bessiere and Patrice Boizumault
  • 16:30: Debugging Unsatisfiable Constraint Models, Kevin Leo and Guido Tack
  • 16:45: A Bounded Path Propagator on Directed Graphs, Diego de Uña, Graeme Gange, Peter Schachte and Peter J. Stuckey
  • 16:50: Multiple Constraint Acquisition, Robin Arcangioli, Christian Bessiere and Nadjib Lazaar
  • 17:05: A DP-based MCMC Framework for Solving DCOPs with GPUs, Ferdinando Fioretto, Enrico Pontelli and William Yeoh
  • 17:10: Synchronous Space Programming, Pierre Talbot, Carlos Agon and Philippe Esling
  • 17:25: Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems, Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser and Christine Solnon
  • 17:30: Embarrassingly Parallel Search Reengineered, Guillaume Derval, Pierre Schaus and Jean-Charles Régin

Moderators
avatar for Tias Guns

Tias Guns

Post-Doc, KU Keuven

Speakers
RA

Robin Arcangioli

Université de Montpellier, CNRS
avatar for Guillaume Derval

Guillaume Derval

Université Catholique de Louvain
avatar for Ferdinando Fioretto

Ferdinando Fioretto

New Mexico State University
DG

Daniel Geschwender

University of Nebraska - Lincoln
avatar for Wen-Yang Ku

Wen-Yang Ku

University of Toronto
KL

Kevin Leo

Monash University
avatar for Mehdi Maamar

Mehdi Maamar

University of Oran1, Lab LITIO. and University of Montpellier, Lab LIRMM.
avatar for Ciaran McCreesh

Ciaran McCreesh

University of Glasgow
avatar for Émilie Picard-Cantin

Émilie Picard-Cantin

PhD student, Université Laval
PT

Pierre Talbot

STMS Ircam -CNRS -UPMC
avatar for Diego de Uña

Diego de Uña

Ph.D. Student, University of Melbourne
VV

Vincent Vigneron

LERIA, Université d'Angers




Monday September 5, 2016 15:30 - 17:30
Amphi Bosco Bosco building

15:30

CP and AI Workshop
    See presentations

Moderators
avatar for Eugene Freuder

Eugene Freuder

UCC, Insight Centre for Data Analytics

Speakers
avatar for Imade Benelallam

Imade Benelallam

Researcher, SI2M Laboratory, INSEA Rabat Institut
avatar for Tias Guns

Tias Guns

Post-Doc, KU Keuven
avatar for Hanan Kanso

Hanan Kanso

Laboratoire LSIS
avatar for Siegfried Nijssen

Siegfried Nijssen

Universiteit Leiden


Monday September 5, 2016 15:30 - 17:30
B203 Bosco building

15:30

Configuration Workshop
    See presentations
  • 15h30: Towards Group-Based Configuration. Alexander Felfernig, Müslüm Atas, Trang Tran and Martin Stettinger. 
  • 16h00: Towards Configuration Technologies for IoT Gateway. Alexander Felfernig, Seda Polat Erdeniz, Arda Akcay, Paolo Azzoni and Charalampos Doukas. 
  • 16h30: Towards Modularization and Configuration of Services – Current Challenges and Difficulties. Thorsten Krebs and Aleksander Lubarski. 
  • 17h00: Determining New Components for Open Configuration. Linda Zhang and Xiaoyu Chen.
  • Discussions: Future Configuration Challenges and next Edition (CWS2017)

Moderators
avatar for Michel Aldanondo

Michel Aldanondo

Univ. Toulouse - Mines Albi - CGI

Speakers
avatar for Alexander Felfernig

Alexander Felfernig

Graz University of Technology
avatar for Thorsten Krebs

Thorsten Krebs

Consultant, encoway GmbH
avatar for Linda Zhang

Linda Zhang

IESEG School of Management


Monday September 5, 2016 15:30 - 18:00
B104 Bosco building

16:05

CP meets Verification - Invited talk: Network Verification: When less is more, but not always
    See presentations
We are building a new logic engine, called Network Logic Solver, to support the verification of Microsoft networks. In addition to dealing with the large scale of the problem, our engine must cope with a logic extended with operations used to model routing protocols: specifically, aggregation (min, max) and non-monotonic negation. These features make the problem significantly harder to solve, and are not tackled by tools currently developed in (software) verification community. This is a joint work with Nuno Lopes.          

Moderators
Speakers
avatar for Andrey Rybalchenko

Andrey Rybalchenko

Senior Researcher, Microsoft Research
Andrey Rybalchenko is a senior researcher at Microsoft Research. He focuses on automated methods and tools for formal software and network verification. In the past, Andrey was a professor at Technische Universität München, a researcher at Max Planck Institute for Software Systems, EPFL, MSR Cambridge, Max Planck Institute for Informatics, and University of Saarland. Andrey was selected for MIT TR35 (2010) and Otto Hahn Medal (2005), received... Read More →


Monday September 5, 2016 16:05 - 16:40
B202 Bosco building

16:40

CP meets Verification Workshop
    See presentations
  • 16h40-17h05: F-CPminer* : A new approach for fault localization using constraint-based data mining, Mehdi Maamar, Noureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni
  • 17h05-17h30: Discussions.

Moderators
Speakers
avatar for Mehdi Maamar

Mehdi Maamar

University of Oran1, Lab LITIO. and University of Montpellier, Lab LIRMM.


Monday September 5, 2016 16:40 - 17:30
B202 Bosco building

17:30

Toulbar2 Projects Meeting
    See presentations
  • Brief overview of toulbar2 solver Simon de Givry, INRA, Toulouse, France
  • Global cost functions (master branch) and set variables Jimmy H.M. Lee, Chinese University of Hong-Kong
  • Using CP and ILP with tree decomposition to solve the sum colouring problem Maël Minot, LIRIS, Lyon, France
  • Triangle-based Consistencies for Cost Function Networks (maxrpc branch) Hiep Nguyen, INRA, Toulouse, France
  • Parallel strategies for Decomposition Guided VNS (vns branch) Abdelkader Ouali, GREYC, Caen, France
  • MiniBrass - extending MiniZinc with soft constraints (Numberjack/toulbar2) Alexander Schiendorfer, ISSE, Universität Augsburg, Germany
  • Open discussion to promote new projects

Speakers
avatar for Simon Degivry

Simon Degivry

INRA MIAT
avatar for Jimmy Lee

Jimmy Lee

The Chinese University of Hong Kong
avatar for Maël Minot

Maël Minot

INSA Lyon


Monday September 5, 2016 17:30 - 19:30
Room 151 Lascrosse Building

17:45

ACP challenge
    See presentations

CP 2016 organizes a challenge based on a realistic industrial grade optimization problem proposed by n-Side (www.n-side.com) and ArcelorMittal, called The “Torpedo Scheduling Problem”. This problem is a simplification, while still being challenging, of a real life application for steel production.
  • Short introduction to the competition, Pierre Schaus
  • Presentation by the winner of the competition of his approach, Michael Römer 

Moderators
avatar for Pierre Schaus

Pierre Schaus

UCLouvain

Speakers
MR

Michael Roemer

Postdoc, Martin Luther University Halle-Wittenberg



Monday September 5, 2016 17:45 - 18:45
Grand Amphi Lascrosses building

20:00

Configuration Workshop Dinner
Limited Capacity seats available

The CWS 2016 gala dinner takes place at "7 place Saint Sernin".
For registered persons only. 

Monday September 5, 2016 20:00 - 23:00
Toulouse

20:00

Doctoral Programme Dinner
Limited Capacity seats available

The Doctoral Program dinner takes place at the Basserie Flo 
 For Doctoral Program participants and DP invited speakers.

Monday September 5, 2016 20:00 - 23:00
Toulouse
 
Tuesday, September 6
 

08:00

Registration
Tuesday September 6, 2016 08:00 - 08:45
Hallway Lascrosses building

08:00

Welcome Coffee
Tuesday September 6, 2016 08:00 - 08:45
Cafeteria Lascrosses building

08:45

Welcome address

Speakers
avatar for Michel Rueher

Michel Rueher

Professor, University of Nice – Sophia Antipolis
Michel Rueher works at the intersection of constraint programming and program verification. He is the program chair of CP 2016.
avatar for Thomas Schiex

Thomas Schiex

Researcher, INRA
Thomas Schiex works at the intersection of constraint programming, discrete graphical model optimization and their applications in biology. He is (softly) leading the bioinformatics team at INRA Toulouse and is also the conference chair of CP 2016 (with the support of several Toulouse CP enthusiasts).


Tuesday September 6, 2016 08:45 - 09:00
Grand Amphi Lascrosses building

09:00

Invited Talk: Optimizing preferences and social welfare in healthcare-related matching problems

    See presentations
Matching problems typically involve assigning agents to commodities, possibly on the basis of ordinal preferences or other metrics. These problems have large-scale applications to centralised matching schemes in many countries and contexts.

In this talk I will describe the matching problems featuring in two such schemes in the UK that have involved collaborations between the National Health Service and the University of Glasgow. One of these dealt with the allocation of junior doctors to Scottish hospitals (1999-2012), and the other is concerned with finding kidney exchanges among incompatible donor-patient pairs across the UK (2007-date). In each case I will describe the applications, present the underlying (NP-hard) algorithmic problems, outline the various solution techniques and give an overview of results arising from real data connected with the matching schemes in recent years.


Moderators
avatar for Peter Stuckey

Peter Stuckey

Professor, University of Melbourne and Data61
Peter Stuckey is a Professor in Computer Science at the University of Melbourne. His research interests focus on constraints and constraint solving, which has widespread use in discrete optimization, program analysis, constraint based graphics, and bioinformatics. He has a long standing interest in (constraint) programming/modelling languages having helped develop CLP(R), HAL, Zinc and MiniZinc.

Speakers
avatar for David Manlove

David Manlove

Senior Lecturer, University of Glasgow
David Manlove is a Senior Lecturer in Computing Science at the University of Glasgow, where he has been since 1995. He is interested in algorithms for problems involving matching agents to commodities (e.g., junior doctors to hospitals, kidney patients to donors) in the presence of ordinal preferences or cardinal utilities. He has written or co-authored over 50 papers in this area, and his book "Algorithmics of Matching Under Preferences" was... Read More →


Tuesday September 6, 2016 09:00 - 10:00
Grand Amphi Lascrosses building

09:00

Configuration Workshop
    See presentations
  • 09h00: Benchmark for configuration and planning optimization problems: Proposition of a generic model. Paul Pitiot, Luis Ignacio Garcés Monge, Élise Vareilles and Michel Aldanondo. 
  • 09h30: Optimal Feature Selection via Evolutionary Algorithms and Constraint Solving. Yibo Wang and Lothar Hotz.

Moderators
Speakers
PP

Paul Pitiot

Mines Albi
avatar for Yibo Wang

Yibo Wang

HITeC e.V.


Tuesday September 6, 2016 09:00 - 10:00
B104 Bosco building

10:00

Coffee Break
Coffee time!

Tuesday September 6, 2016 10:00 - 10:30
Cafeteria Lascrosses building

10:30

Configuration Workshop
    See presentations
  • 10h30: Interactive Configuration of Insulating Envelopes. Andrés Felipe Barco Santa, Élise Vareilles, Michel Aldanondo and Philippe Chantry. 
  • 11h55: StudyBattles: A Learning Environment for Knowledge-based Configuration. Alexander Felfernig, Amal Shehadeh, Christian Guetl, Michael Jeran, Trang Tran, Müslüm Atas, Seda Polat Erdeniz, Martin Stettinger, Arda Akcay and Stefan Reiterer. 
  • 11h20: Finding pre-production vehicle planning using Max-SAT framework. Marcel Tiepelt and Tilak Raj Singh.
  • 11h45: CWS Best Paper Award and Conclusion

Moderators
avatar for Caroline Becker

Caroline Becker

Product Engineer, PROS

Speakers
avatar for Alexander Felfernig

Alexander Felfernig

Graz University of Technology
avatar for Andres Felipe Barco Santa

Andres Felipe Barco Santa

PhD candidate, Université de Toulouse, Mines Albi
KM

Kevin Marcel Tiepelt

University of Applied Science Aalen


Tuesday September 6, 2016 10:30 - 12:00
B104 Bosco building

10:30

Application Session (1)
    See presentations
  • 10:30-10:55 Emmanuel Hebrard, Marie-José Huguet, Daniel Veysseire, Ludivine Boche Sauvan and Bertrand Cabon. Constraint Programming for Planning Test Campaigns of Telecommunication Satellites

  • 10:55-11:20 Xavier Lorca, Charles Prud'Homme, Aurélien Questel and Benoît Rottembourg. Using Constraint Programming for the Urban Transit Crew Rescheduling Problem

  • 11:20-11:45 Stefano Di Alesio. Optimal Performance Tuning in Real-Time Systems using Multi-Objective Constrained Optimization

  • 11:45-12:10 Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Jiwei Jin, Hai Liu and Jian Zhang.  SymOptimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search


Moderators
avatar for Willem-Jan van Hoeve

Willem-Jan van Hoeve

Carnegie Mellon University

Speakers
SD

Stefano Di Alesio

Simula Research Laboratory
avatar for Emmanuel Hebrard

Emmanuel Hebrard

Researcher, LAAS-CNRS
Emmanuel Hebrard is a viviparous mammal.
avatar for Xavier Lorca

Xavier Lorca

Mines-Nantes
FM

Feifei Ma

Institute of Software, Chinese Academy of Sciences



Tuesday September 6, 2016 10:30 - 12:10
Amphi Bosco Bosco building

10:30

Technical Session (1): Theory
    See presentations
  • 10:30-10:55 David Cohen and Peter Jeavons. The Power of Propagation: When GAC is Enough

  • 10:55-11:20 Dominik Scheder, Timon Hertli, Isabelle Hurbain, Sebastian Millius, Robin Moser and May Szedlak. The PPSZ Algorithm for Constraint Satisfaction Problems on More Than Two Colors

  • 11:20-11:45 Martin Cooper, Achref El Mouelhi and Cyril Terrioux. Broken Triangles, Yet Again

  • 11:45-12:10 Robert Ganian, Ramanujan M. S. and Stefan Szeider. Backdoors to Tractable Valued CSP

Moderators
avatar for Christine Solnon

Christine Solnon

LIRIS / INSA Lyon

Speakers
avatar for Martin Cooper

Martin Cooper

IRIT, University of Toulouse 3
avatar for Raghuram Ramanujan

Raghuram Ramanujan

Davidson College
avatar for Dominik Scheder

Dominik Scheder

Shanghai Jiaotong University


Tuesday September 6, 2016 10:30 - 12:10
Grand Amphi Lascrosses building

12:10

Lunch
Tuesday September 6, 2016 12:10 - 13:40
Cafeteria Lascrosses building

13:40

Tutorial: Constraint Programming in Music
    See presentations
In classical Western music, when students learn how to write nice music, they are taught to respect a large set of rules: no parallel fifths, opposite movements between the extremal voices, cadence at the end of the piece, etc. Translated into a computer-science vocabulary, writing nice music is stated as a constraint problem, where the notes are the variables, the tempered scales are the domains, and the rules are the constraints (and, happily, this problem has lots of solutions). In practice, this problem, called automatic harmonisation, has been investigated since the very beginning of CP, back in the 1980s. Since then, CP has been applied to a great variety of musical problems, and used to produce score drafts, to organise sounds, to model musical properties, etc. In this tutorial, we will present an introduction to musical constraints, starting with automatic harmonisation, and then exploring examples in contemporary music and in sound processing. We will try and focus on the works where CP has been used in an unconventional way.

Moderators
avatar for Pierre  Flener

Pierre Flener

Uppsala Universitet

Speakers
avatar for Charlotte Truchet

Charlotte Truchet

Maître de conférence, University of Nantes


Tuesday September 6, 2016 13:40 - 14:40
Amphi Bosco Bosco building

13:40

Tutorial: Topics in Computational Sustainability

    See presentations
Computational sustainability is a new interdisciplinary research field with the overall goal of developing computational models, methods, and tools to help manage balancing environmental, economic, and societal needs for sustainable development. The notion of sustainable development — development that meets the needs of the present without compromising the ability of future generations to meet their needs — was introduced in "Our Common Future," a seminal report on the future of our planet, published in 1987 by the United Nations World Commission on Environment and Development.

We will provide an overview of the field of computational sustainability. We will highlight a number of examples related to our research on biodiversity and conservation, natural resource management, and energy.

We will also provide an overview of the computational challenges and methods for computational sustainability. Research in this area combines concepts and methods from constraint reasoning and inference, optimisation, decision making under uncertainty, machine learning, citizen science, crowdsourcing, and human computation.


Moderators
avatar for Christine Solnon

Christine Solnon

LIRIS / INSA Lyon

Speakers
avatar for Carla Gomes

Carla Gomes

Professor, Cornell University


Tuesday September 6, 2016 13:40 - 14:40
Grand Amphi Lascrosses building

14:40

Computational Sustainability Session
    See presentation
  • 14:40-15:05 Yexiang Xue, Ian Davies, Daniel Fink, Christopher Wood and Carla Gomes. Behavior Identification in Two-stage Games for Incentivizing Citizen Science Exploration

  • 15:05-15:30 Boon Ping Lim, Hassan Hijazi, Sylvie Thiebaux and Menkes Van Den Briel. Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control


Moderators
avatar for Michela Milano

Michela Milano

Universita' di Bologna

Speakers
avatar for Carla Gomes

Carla Gomes

Professor, Cornell University
avatar for Boon-Ping Lim

Boon-Ping Lim

ANU / Data61


Tuesday September 6, 2016 14:40 - 15:30
Grand Amphi Lascrosses building

14:40

Music Session (1)
    See presentations
  • 14:40-15:05 Pierre Roy, Guillaume Perez, Jean-Charles Regin, Alexandre Papadopoulos, Francois Pachet and Marco Marchini.  Enforcing Structure on Temporal Sequences: the Allen Constraint

  • 15:05-15:30 Alexandre Papadopoulos, Pierre Roy and Francois Pachet. Assisted Lead Sheet Composition using FlowComposer


Moderators
avatar for Justin Pearson

Justin Pearson

Senior Lecturer, Uppsala universitet
Justin Pearson is a senior lecturer(Docent) at the department of IT at Uppsala University. His main focus of research is on constraint programming, its theory, its implementation through propagator design, and its applications. He has worked on applications of constraint programming in diverse areas from air-traffic control with Eurocontrol, to software testing with Ericsson. His research in software testing has included the use of using... Read More →

Speakers
avatar for François Pachet

François Pachet

Sony Europe Limited
PR

Pierre Roy

Researcher, Sony Europe Limited


Tuesday September 6, 2016 14:40 - 15:30
Amphi Bosco Bosco building

15:30

Coffee Break
Even more coffee and croissants!

Tuesday September 6, 2016 15:30 - 16:00
Cafeteria Lascrosses building

16:00

Music Session (2)
    See presentations
  • 16:00-16:25 John Hooker. Finding Alternative Musical Scales

  • 16:25-16:50 Tsubasa Tanaka, Brian Bemman and David Meredith. Constraint programming formulation of the problem of generating Milton Babbitt's all-partition arrays

Moderators
avatar for Charlotte Truchet

Charlotte Truchet

Maître de conférence, University of Nantes

Speakers
BB

Brian Bemman

Aalborg University
avatar for John Hooker

John Hooker

Carnegie Mellon University
avatar for Tsubasa Tanaka

Tsubasa Tanaka

Postdoctoral Researcher, IRCAM


Tuesday September 6, 2016 16:00 - 16:50
Amphi Bosco Bosco building

16:00

Technical Session (2): MaxSAT
    See presentations
  • 16:00-16:25 Jack Goffinet and Raghuram Ramanujan. Monte-Carlo Tree Search for the Maximum Satisfiability Problem

  • 16:25-16:50 Xujie Si, Xin Zhang, Vasco Manquinho, Mikolas Janota, Alexey Ignatiev and Mayur Naik. On Incremental Core-Guided MaxSAT Solving

Moderators
Speakers
JG

John Goffinet

Davidson College
AI

Alexey Ignatiev

University of Lisbon


Tuesday September 6, 2016 16:00 - 16:50
Grand Amphi Lascrosses building

16:50

Journal-First and Sister Conferences Session (1): Symmetries
    See presentations
  • 16:50-17:15 Jimmy Lee and Zichen Zhu. Boosting SBDS for Partial Symmetry Breaking in Constraint Programming

  • 17:15-17:40 Jimmy Lee and Zichen Zhu. Breaking More Composition Symmetries Using Search Heuristics

Moderators
Speakers
avatar for Jimmy Lee

Jimmy Lee

The Chinese University of Hong Kong
ZZ

Zichen Zhu

The Chinese University of Hong Kong


Tuesday September 6, 2016 16:50 - 17:40
Amphi Bosco Bosco building

16:50

Technical Session (3): Global constraints
    See presentations
  • 16:50-17:15 Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin and Pierre Schaus. Compact-Table: efficiently filtering table constraints with reversible sparse bit-sets

  • 17:15-17:40 Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessiere and Patrice Boizumault. A global constraint for closed itemset mining

Moderators
avatar for Mats Carlsson

Mats Carlsson

SICS
Global constraints.

Speakers
avatar for Nadjib Lazaar

Nadjib Lazaar

LIRMM - University of Montpellier
avatar for Pierre Schaus

Pierre Schaus

UCLouvain


Tuesday September 6, 2016 16:50 - 17:40
Grand Amphi Lascrosses building

18:30

Welcome Reception

Tuesday September 6, 2016 18:30 - 20:00
Salle des Illustres, Capitol building 1 Place du Capitole, 31000 Toulouse, France

20:30

Executive Commitee ACP dinner
Limited Capacity seats available

The dinner of the ACP executive committee will take place at the Genti Magre.
On invitation only.

Speakers
avatar for Pierre  Flener

Pierre Flener

Uppsala Universitet
avatar for Willem-Jan van Hoeve

Willem-Jan van Hoeve

Carnegie Mellon University
avatar for Laurent Michel

Laurent Michel

Associate Professor, University of Connecticut
Laurent's primary research interests lie at the intersection of Programming Language and Combinatorial Optimization. His efforts are directed to the construction of software tools that considerably simplify the development of complex application (most belong to the NP class) for discrete and continuous optimization problems. He co-authored COMET, the first Platform for Constraint-Based Local Search and is now focusing on the Objective-CP... Read More →
avatar for Helmut Simonis

Helmut Simonis

Insight Centre for Data Analytics
avatar for Guido Tack

Guido Tack

Monash University
avatar for Charlotte Truchet

Charlotte Truchet

Maître de conférence, University of Nantes


Tuesday September 6, 2016 20:30 - 23:00
Toulouse
 
Wednesday, September 7
 

08:15

Registration
Wednesday September 7, 2016 08:15 - 09:00
Hallway Lascrosses building

08:45

Invited Talk: Horn Constraints for Software Verification and Synthesis
    See presentations
We will show how Horn constraints can be used to describe verification and synthesis problems, and how such constraints can be solved efficiently. In particular we will demonstrate how cardinality operators help to reason about quantitative properties and carry out counting-based correctness arguments, which are useful for the verification of information flow properties and parametrized systems.

Moderators
avatar for Pierre  Flener

Pierre Flener

Uppsala Universitet

Speakers
avatar for Andrey Rybalchenko

Andrey Rybalchenko

Senior Researcher, Microsoft Research
Andrey Rybalchenko is a senior researcher at Microsoft Research. He focuses on automated methods and tools for formal software and network verification. In the past, Andrey was a professor at Technische Universität München, a researcher at Max Planck Institute for Software Systems, EPFL, MSR Cambridge, Max Planck Institute for Informatics, and University of Saarland. Andrey was selected for MIT TR35 (2010) and Otto Hahn Medal (2005), received... Read More →


Wednesday September 7, 2016 08:45 - 09:45
Grand Amphi Lascrosses building

09:45

Coffee Break
Coffee time!

Wednesday September 7, 2016 09:45 - 10:15
Cafeteria Lascrosses building

10:15

Tutorial: Automated Program Analysis and Verification
    See presentations
We present a new paradigm for automated (algorithmic, push-button) program analysis and verification methods based on constraint solving and automata. The new paradigm is simple and accessible also to newcomers in the field of program analysis and verification.

Moderators
avatar for Charlotte Truchet

Charlotte Truchet

Maître de conférence, University of Nantes

Speakers
avatar for Andreas Podelski

Andreas Podelski

Professor, University of Freiburg


Wednesday September 7, 2016 10:15 - 11:15
Grand Amphi Lascrosses building

10:15

Tutorial: Social Choice
    See presentations
The goal of this tutorial is to introduce social choice theory, a framework for analysing the combination of individual preferences to reach a collective decision. It will cover both applications of constraint programming to social choice, as well as applications of social choice in constraint programming.

Moderators
Speakers
avatar for Francesca Rossi

Francesca Rossi

Professor, IBM & University of Padova


Wednesday September 7, 2016 10:15 - 11:15
Amphi Bosco Bosco building

11:15

Preferences, Social Choice, and Constraints Session
    See presentations
  • 11:15:11:40 Ferdinando Fioretto, William Yeoh and Enrico Pontelli. A Dynamic Programming-based MCMC Framework for Solving DCOPs with GPUs

  • 11:40-12:05 Ciaran McCreesh, Patrick Prosser and James Trimble. Morphing between Stable Matching Problems

Moderators
avatar for David Manlove

David Manlove

Senior Lecturer, University of Glasgow
David Manlove is a Senior Lecturer in Computing Science at the University of Glasgow, where he has been since 1995. He is interested in algorithms for problems involving matching agents to commodities (e.g., junior doctors to hospitals, kidney patients to donors) in the presence of ordinal preferences or cardinal utilities. He has written or co-authored over 50 papers in this area, and his book "Algorithmics of Matching Under Preferences" was... Read More →

Speakers
avatar for Ferdinando Fioretto

Ferdinando Fioretto

New Mexico State University
avatar for Patrick Prosser

Patrick Prosser

University of Glasgow


Wednesday September 7, 2016 11:15 - 12:05
Amphi Bosco Bosco building

11:15

Testing and Verification Session
    See presentations
  • 11:15-11:40 Xiaojun Sun, Irina Ilioaea, Priyank Kalla and Florian Enescu. Finding Unsatisfiable Cores of a Set of Polynomials using the Groebner Basis Algorithm

  • 11:40-12:05 Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko and Michael Veksler. Using Graph-Based CSP to Solve the Address Translation Problem

Moderators
Speakers
avatar for Xiaojun Sun

Xiaojun Sun

University of Utah


Wednesday September 7, 2016 11:15 - 12:05
Grand Amphi Lascrosses building

12:05

Constraints Ed. Board meeting
Limited Capacity seats available

For Constraint's editorial board members. At the table where Michela Milano is sitting.

Wednesday September 7, 2016 12:05 - 04:00
Cafeteria Lascrosses building

12:05

Lunch
Wednesday September 7, 2016 12:05 - 13:35
Cafeteria Lascrosses building

13:35

Application Session (2)
    See presentations
  • 13:35-14:00 Vincent Goulet, Wei Li, Hyunmin Cheong, Francesco Iorio and Claude-Guy Quimper. Four-Bar Linkage Synthesis Using Non-Convex Optimization

  • 14:00-14:25 Robinson Duque, Alejandro Arbelaez and Juan Francisco Díaz. SABIO: An Implementation of MIP and CP for Interactive Soccer Queries

  • 14:25-14:50 Samir Sebbah, Claire Bagley, Mike Colena and Serdar Kadioglu. Service Availability Optimization in Cloud-Based In-Memory Data Grids

Moderators
avatar for Louis-Martin Rousseau

Louis-Martin Rousseau

Professor, CIRRELT - École Polytechnique

Speakers
RD

Robinson Duque

Universidad del Valle
avatar for Vincent Goulet

Vincent Goulet

Masters Student, Université Laval
avatar for Serdar Kadioglu

Serdar Kadioglu

R&D Manager, Oracle Corporation


Wednesday September 7, 2016 13:35 - 14:50
Grand Amphi Lascrosses building

13:35

Journal-First and Sister Conferences session (2): Consistencies
    See presentations
  • 13:35-14:00 Martin Cooper and Stanislav Živný. The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns

  • 14:00-14:25 Chavalit Likitvivatanavong, Wei Xia and Roland H. C. Yap. Decomposition of the Factor Encoding for CSPs

  • 14:25-14:50 Christophe Lecoutre, Chavalit Likitvivatanavong and Roland Yap. STR3: A Path-Optimal Filtering Algorithm for Table Constraints

Moderators
avatar for Peter Stuckey

Peter Stuckey

Professor, University of Melbourne and Data61
Peter Stuckey is a Professor in Computer Science at the University of Melbourne. His research interests focus on constraints and constraint solving, which has widespread use in discrete optimization, program analysis, constraint based graphics, and bioinformatics. He has a long standing interest in (constraint) programming/modelling languages having helped develop CLP(R), HAL, Zinc and MiniZinc.

Speakers
avatar for Martin Cooper

Martin Cooper

IRIT, University of Toulouse 3
avatar for Roland Yap

Roland Yap

National University of Singapore


Wednesday September 7, 2016 13:35 - 14:50
Amphi Bosco Bosco building

14:50

Coffee Break
Even more coffee and croissants!

Wednesday September 7, 2016 14:50 - 15:20
Cafeteria Lascrosses building

15:20

Technical Session (4): Theory
    See presentations
  • 15:20-15:45 Joshua Blinkhorn and Olaf Beyersdorff. Dependency Schemes in QBF Calculi: Semantics and Soundness

  • 15:45-16:10 Michael Codish, Graeme Gange, Avi Itzhakov and Peter J. Stuckey. Breaking Symmetries in Graphs: The Nauty Way

  • 16:10-16:35 David Bergman and André Augusto Ciré. Multiobjective Optimization by Decision Diagrams

Moderators
avatar for Agostino Dovier

Agostino Dovier

University of Udine

Speakers
JB

Joshua Blinkhorn

University of Leeds
avatar for André Augusto Ciré

André Augusto Ciré

University of Toronto
avatar for Michael Codish

Michael Codish

Ben Gurion University


Wednesday September 7, 2016 15:20 - 16:35
Grand Amphi Lascrosses building

15:20

Technical Session (5): Global constraints, learning
    See presentations
  • 15:20-15:45 Clément Carbonnel and Emmanuel Hebrard. Constraint Propagation via Kernelization

  • 15:45-16:10 Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Maria Andreina Francisco Rodriguez, Justin Pearson and Helmut Simonis. Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints

  • 16:10-16:35 Emilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper and Jason Sweeney. Learning parameters for the Sequence constraint from positive examples

Moderators
avatar for Willem-Jan van Hoeve

Willem-Jan van Hoeve

Carnegie Mellon University

Speakers
avatar for Ekaterina Arafailova

Ekaterina Arafailova

PhD Student, Armines (Mines Nantes)
avatar for Emmanuel Hebrard

Emmanuel Hebrard

Researcher, LAAS-CNRS
Emmanuel Hebrard is a viviparous mammal.
avatar for Émilie Picard-Cantin

Émilie Picard-Cantin

PhD student, Université Laval



Wednesday September 7, 2016 15:20 - 16:35
Amphi Bosco Bosco building

16:35

Technical Session (6): SAT
    See presentations
  • 16:35-17:00 Jeremias Berg and Matti Järvisalo. Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving

  • 17:00-17:25 Gilles Audemard, Jean Marie Lagniez, Nicolas Szczepanski and Sebastien Tabary. An adaptive parallel SAT solver

Moderators
Speakers
avatar for Gilles Audemard

Gilles Audemard

CRIL, France
avatar for Jeremias Berg

Jeremias Berg

University of Helsinki


Wednesday September 7, 2016 16:35 - 17:25
Grand Amphi Lascrosses building

16:35

Technical Session (7): Parallelism, temporal constraints
    See presentations
  • 16:35-17:00 Anthony Palmieri, Jean-Charles Régin and Pierre Schaus. Parallel Strategies Selection Strategy, strategy selection, algorithm selection, parallelism

  • 17:00-17:25 Luke Hunsberger and Roberto Posenato. A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks

Moderators
Speakers
avatar for Luke Hunsberger

Luke Hunsberger

Vassar College
avatar for Pierre Schaus

Pierre Schaus

UCLouvain


Wednesday September 7, 2016 16:35 - 17:25
Amphi Bosco Bosco building

17:25

CP'2017 & CPAIOR'2017 presentation
Quick presentation of the next iteration of CP and CPAIOR.

Wednesday September 7, 2016 17:25 - 17:40
Grand Amphi Lascrosses building

17:40

ACP General Assembly
    See presentations
  1. ACP Executive Committee: Election Results
  2. Awards
    • ACP Service Award
    • Doctoral Research Award
  3. President’s Report
  4. Treasurer’s Report
  5. Summer Schools 2016 and 2017
  6. Constraints Journal Report [Michela Milano]
  7. CP’18: Call for Bids
  8. Widening the Scope and Participation of CP
    • CP’16: Impact of track structure (review)
    • CP’17: Collocations, tracks
  9. Funding Initiatives:
    • Incubator workshop calls
    • CP papers @ nectar tracks
    • Workshop support @ CP’16
    • Tutorial support @ CP’16
    • CP teaching material
  10. CP Conference Proceedings
    • Open-access and possible publication models
 

Moderators
avatar for Pierre  Flener

Pierre Flener

Uppsala Universitet
avatar for Willem-Jan van Hoeve

Willem-Jan van Hoeve

Carnegie Mellon University
avatar for Laurent Michel

Laurent Michel

Associate Professor, University of Connecticut
Laurent's primary research interests lie at the intersection of Programming Language and Combinatorial Optimization. His efforts are directed to the construction of software tools that considerably simplify the development of complex application (most belong to the NP class) for discrete and continuous optimization problems. He co-authored COMET, the first Platform for Constraint-Based Local Search and is now focusing on the Objective-CP... Read More →
avatar for Helmut Simonis

Helmut Simonis

Insight Centre for Data Analytics
avatar for Guido Tack

Guido Tack

Monash University

Wednesday September 7, 2016 17:40 - 19:00
Grand Amphi Lascrosses building

20:00

Senior PC Dinner
Limited Capacity seats available

The Senior PC dinner will take place at La popotte.
On invitation only. 

Speakers
avatar for Agostino Dovier

Agostino Dovier

University of Udine
avatar for Carla Gomes

Carla Gomes

Professor, Cornell University
avatar for Pascal Van Hentenryck

Pascal Van Hentenryck

Professor, University of Michigan
Pascal Van Hentenryck is the Seth Bonder Collegiate Professor of Engineering at the University of Michigan. He is also Professor of Industrial and Operations Engineering, Professor of Electrical Engineering and Computer Science, and Core Faculty of the Michigan Institute of Data Science. Van Hentenryck is the designer and implementor of numerous optimization systems, including CHIP (the first CP system over finite domains), Numerica, OPL (now... Read More →
avatar for Willem-Jan van Hoeve

Willem-Jan van Hoeve

Carnegie Mellon University
avatar for Laurent Michel

Laurent Michel

Associate Professor, University of Connecticut
Laurent's primary research interests lie at the intersection of Programming Language and Combinatorial Optimization. His efforts are directed to the construction of software tools that considerably simplify the development of complex application (most belong to the NP class) for discrete and continuous optimization problems. He co-authored COMET, the first Platform for Constraint-Based Local Search and is now focusing on the Objective-CP... Read More →
avatar for Michela Milano

Michela Milano

Universita' di Bologna
avatar for Andreas Podelski

Andreas Podelski

Professor, University of Freiburg
avatar for Francesca Rossi

Francesca Rossi

Professor, IBM & University of Padova
avatar for Michel Rueher

Michel Rueher

Professor, University of Nice – Sophia Antipolis
Michel Rueher works at the intersection of constraint programming and program verification. He is the program chair of CP 2016.
avatar for Thomas Schiex

Thomas Schiex

Researcher, INRA
Thomas Schiex works at the intersection of constraint programming, discrete graphical model optimization and their applications in biology. He is (softly) leading the bioinformatics team at INRA Toulouse and is also the conference chair of CP 2016 (with the support of several Toulouse CP enthusiasts).
avatar for Christine Solnon

Christine Solnon

LIRIS / INSA Lyon
avatar for Charlotte Truchet

Charlotte Truchet

Maître de conférence, University of Nantes


Wednesday September 7, 2016 20:00 - 23:00
Toulouse
 
Thursday, September 8
 

08:15

Registration
Thursday September 8, 2016 08:15 - 09:00
Hallway Lascrosses building

08:45

Invited Talk: Optimization and Control in the Smart Grid and Beyond
   See presentations
The world's electrical energy system is transforming, evolving from a "top-down" purely physics-driven process to a digital, interconnected system with bidirectional control. This new electrical grid, broadly referred to as the smart grid, offers many opportunities for advanced optimization and AI techniques to play a transformational role. This talk will highlight some general themes and optimization problems that arise frequently in these settings, and also discuss some of our work on general stochastic control approaches in these settings. I will then close by discussing some broad themes in general-purpose optimization, inspired by the smart grid setting, but with general applicability to a wide range of problems.

Moderators
avatar for Pascal Van Hentenryck

Pascal Van Hentenryck

Professor, University of Michigan
Pascal Van Hentenryck is the Seth Bonder Collegiate Professor of Engineering at the University of Michigan. He is also Professor of Industrial and Operations Engineering, Professor of Electrical Engineering and Computer Science, and Core Faculty of the Michigan Institute of Data Science. Van Hentenryck is the designer and implementor of numerous optimization systems, including CHIP (the first CP system over finite domains), Numerica, OPL (now... Read More →

Speakers
avatar for Zico Kolter

Zico Kolter

Assistant Professor, Carnegie Mellon University
Zico Kolter is an Assistant Professor in the School of Computer Science at Carnegie Mellon University, with appointments in the Computer Science Department, the Institute for Software Research (in the Societal Computing program), and affiliated appointments with the Machine Learning Department, the Robotics Institute, and the Electrical and Computer Engineering Department. His work focuses on machine learning and optimization, with a specific... Read More →


Thursday September 8, 2016 08:45 - 09:45
Grand Amphi Lascrosses building

09:45

Coffee Break
Coffee time!


Thursday September 8, 2016 09:45 - 10:15
Cafeteria Lascrosses building

10:15

Best Papers
   See presentations
  • 10:15-10:40 Krishnamurthy Dvijotham, Pascal Van Hentenryck, Michael Chertkov, Sidhant Misra and Marc Vuffray. Graphical models for optimal power flow

  • 10:40-11:05 David Manlove, Iain McBride and James Trimble. "Almost-stable" matchings in the Hospitals / Residents problem with Couples

  • 11:05-11:30 Clément Carbonnel. The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable

  • 11:30-11:55 Kyle E. C. Booth, Goldie Nejat and J. Christopher Beck. A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes

Moderators
avatar for Laurent Michel

Laurent Michel

Associate Professor, University of Connecticut
Laurent's primary research interests lie at the intersection of Programming Language and Combinatorial Optimization. His efforts are directed to the construction of software tools that considerably simplify the development of complex application (most belong to the NP class) for discrete and continuous optimization problems. He co-authored COMET, the first Platform for Constraint-Based Local Search and is now focusing on the Objective-CP... Read More →

Speakers
avatar for Kyle Booth

Kyle Booth

University of Toronto
avatar for Krishnamurthy Dvijotham

Krishnamurthy Dvijotham

California Institute of Technology
avatar for David Manlove

David Manlove

Senior Lecturer, University of Glasgow
David Manlove is a Senior Lecturer in Computing Science at the University of Glasgow, where he has been since 1995. He is interested in algorithms for problems involving matching agents to commodities (e.g., junior doctors to hospitals, kidney patients to donors) in the presence of ordinal preferences or cardinal utilities. He has written or co-authored over 50 papers in this area, and his book "Algorithmics of Matching Under Preferences" was... Read More →



Thursday September 8, 2016 10:15 - 12:00
Grand Amphi Lascrosses building

12:00

Lunch
Thursday September 8, 2016 12:00 - 13:30
Hallway Lascrosses building

13:30

Application Session (3)
    See presentations
  • 13:30-13:55 Katherine Giles and Willem-Jan Van Hoeve. Solving a Supply-Delivery Scheduling Problem with Constraint Programming

  • 13:55-14:20 David Gerault, Marine Minier and Christine Solnon. Constraint Programming Models for Chosen Key Differential Cryptanalysis

Moderators
avatar for Nicolas Beldiceanu

Nicolas Beldiceanu

Mines Nantes (Armines)

Speakers

Thursday September 8, 2016 13:30 - 14:20
Amphi Bosco Bosco building

13:30

CP and Biology Session
    See presentations
  • 13:30-13:55 Clément Viricel, David Simoncini, Thomas Schiex and Sophie Barbe. Guaranteed Weighted Counting for Affinity Computation: beyond Determinism and Structure

  • 13:55-14:20 Ludwig Krippahl and Pedro Barahona. Improving protein docking with redundancy constraints

Moderators
avatar for Agostino Dovier

Agostino Dovier

University of Udine

Speakers
avatar for Pedro Barahona

Pedro Barahona

Universidade NOVA de Lisboa
avatar for Clément Viricel

Clément Viricel

PhD Student, INRA



Thursday September 8, 2016 13:30 - 14:20
Grand Amphi Lascrosses building

14:20

Doctoral Research Award: Andre Augusto Cire

    See presentations
The ACP Doctoral Research Award is awarded every year to a promising young researcher working in the area of constraint programming and who defended his/her thesis between January and December of the previous two years. The award, in the form of a certificate, will be presented at the CP conference, where the winning researcher will present a talk on the topic of his/her doctoral dissertation.

Previous recipients of this award are:

  • 2015 Jean-Guillaume Fages & Anastasia Paparrizou
  • 2014 David Bergman
  • 2013 Tias Guns
  • 2012 Geoffrey Chu
  • 2011 Stanislav Zivny
  • 2010 Guido Tack
  • 2009 Christopher Jefferson
  • 2008 Claude-Guy Quimper

Moderators
avatar for Laurent Michel

Laurent Michel

Associate Professor, University of Connecticut
Laurent's primary research interests lie at the intersection of Programming Language and Combinatorial Optimization. His efforts are directed to the construction of software tools that considerably simplify the development of complex application (most belong to the NP class) for discrete and continuous optimization problems. He co-authored COMET, the first Platform for Constraint-Based Local Search and is now focusing on the Objective-CP... Read More →

Speakers
avatar for André Augusto Ciré

André Augusto Ciré

University of Toronto



Thursday September 8, 2016 14:20 - 14:45
Grand Amphi Lascrosses building

14:45

Distinguished Service Award: Thomas Schiex

    See presentations
The purpose of this award is to celebrate those CP community members who have made exceptional contributions to the CP community. Areas of service could include, but are not limited to: association service, service as an editor, conference organisation, representation of CP in other organizations, etc, resulting in positive effects on the field of CP.

Previous recipients of this award are:

  • 2014 Barry O'Sullivan
  • 2012 Eugene C. Freuder
  • 2010 Francesca Rossi

Moderators
avatar for Laurent Michel

Laurent Michel

Associate Professor, University of Connecticut
Laurent's primary research interests lie at the intersection of Programming Language and Combinatorial Optimization. His efforts are directed to the construction of software tools that considerably simplify the development of complex application (most belong to the NP class) for discrete and continuous optimization problems. He co-authored COMET, the first Platform for Constraint-Based Local Search and is now focusing on the Objective-CP... Read More →

Speakers
avatar for Thomas Schiex

Thomas Schiex

Researcher, INRA
Thomas Schiex works at the intersection of constraint programming, discrete graphical model optimization and their applications in biology. He is (softly) leading the bioinformatics team at INRA Toulouse and is also the conference chair of CP 2016 (with the support of several Toulouse CP enthusiasts).


Thursday September 8, 2016 14:45 - 15:00
Grand Amphi Lascrosses building

15:30

Social Program: A380 assembly line visit (1st bus)
Limited Capacity seats available


Thursday September 8, 2016 15:30 - 18:45
Airbus France Rond Point de la Crabe, 31300 Toulouse

15:45

Social Program: A380 assembly line visit (2nd bus)
Limited Capacity seats available

Thursday September 8, 2016 15:45 - 19:00
Hallway Lascrosses building

16:00

Social Program: visit of Toulouse
Guided visit of the pink city, with frequent stops for drinks.


Thursday September 8, 2016 16:00 - 19:00
Hallway Lascrosses building

19:00

Conference Dinner
19:00 Aperitif, foie gras, jazz & bubbles (Uby O2)
20:00 Dinner: (very) French cuisine, Bordeaux wines by INRA and local Pacherenc wine
22:00 Jazz again, Armagnac (brandy) and inhabited chocolates


Thursday September 8, 2016 19:00 - 23:00
Salles des Colonnes, Hotel Dieu 2 Rue Viguerie, 31300 Toulouse
 
Friday, September 9
 

09:00

Invited Talk: Evidence-Based Optimization of Complex Infrastructures
    See presentations
For the first time in the history of humankind, we are accumulating data sets of unprecedented scale and accuracy about physical infrastructures, natural phenomena, man-made processes, and human behavior. These developments, together with progress in high-performance computing, predictive models, and operations research, offer novel opportunities for optimizing complex infrastructures holistically. We present some exciting projects in evidence-based optimization and highlight some challenges and opportunities for constraint programming in this space.

Moderators
avatar for David Manlove

David Manlove

Senior Lecturer, University of Glasgow
David Manlove is a Senior Lecturer in Computing Science at the University of Glasgow, where he has been since 1995. He is interested in algorithms for problems involving matching agents to commodities (e.g., junior doctors to hospitals, kidney patients to donors) in the presence of ordinal preferences or cardinal utilities. He has written or co-authored over 50 papers in this area, and his book "Algorithmics of Matching Under Preferences" was... Read More →

Speakers
avatar for Pascal Van Hentenryck

Pascal Van Hentenryck

Professor, University of Michigan
Pascal Van Hentenryck is the Seth Bonder Collegiate Professor of Engineering at the University of Michigan. He is also Professor of Industrial and Operations Engineering, Professor of Electrical Engineering and Computer Science, and Core Faculty of the Michigan Institute of Data Science. Van Hentenryck is the designer and implementor of numerous optimization systems, including CHIP (the first CP system over finite domains), Numerica, OPL (now... Read More →


Friday September 9, 2016 09:00 - 10:00
Grand Amphi Lascrosses building

10:00

Coffee Break
Coffee time!

Friday September 9, 2016 10:00 - 10:30
Cafeteria Lascrosses building

10:30

Journal-First and Sister Conferences session (3): MIP, relaxations
    See presentations
  • 10:30-10:55 Giovanni Di Liberto, Serdar Kadioglu, Kevin Leo and Yuri Malitsky. DASH: Dynamic Approach for Switching Heuristics

  • 10:55-11:20 Cristinca Fulga. AHP based portfolio selection with risk preference modeling

  • 11:20-11:45 Kyle E. C. Booth, Tony T. Tran, Goldie Nejat and Chris Beck. Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning

  • 11:45-12:10 Adrian Weller, Mark Rowland and David Sontag. Tightness of LP relaxations for almost balanced models

Moderators
avatar for Guido Tack

Guido Tack

Monash University

Speakers
avatar for Kyle Booth

Kyle Booth

University of Toronto
avatar for Cristinca Fulga

Cristinca Fulga

Professor, Bucharest University of Economic Studies
avatar for Serdar Kadioglu

Serdar Kadioglu

R&D Manager, Oracle Corporation
MR

Mark Rowland

PhD Student, University of Cambridge
I'm a PhD student at Cambridge University, interested in Monte Carlo techniques, optimal transport, and inference in graphical models.


Friday September 9, 2016 10:30 - 12:10
Amphi Bosco Bosco building

10:30

Technical Session (8): Scheduling
    See presentations
  • 10:30-10:55 Alessio Bonfietti, Michele Lombardi, Alessandro Zanarini and Michela Milano. The Multirate Resource Constraint

  • 10:55-11:20 Andreas Schutt and Peter J. Stuckey. Explaining Producer/Consumer Constraints

  • 11:20-11:45 Sascha Van Cauwelaert, Cyrille Dejemeppe, Jean-Noël Monette and Pierre Schaus. Efficient Filtering for the Unary Resource with Family-based Transition Times

Moderators
avatar for Chris Beck

Chris Beck

Professor, University of Toronto

Speakers
avatar for Michela Milano

Michela Milano

Universita' di Bologna
avatar for Pierre Schaus

Pierre Schaus

UCLouvain
avatar for Peter Stuckey

Peter Stuckey

Professor, University of Melbourne and Data61
Peter Stuckey is a Professor in Computer Science at the University of Melbourne. His research interests focus on constraints and constraint solving, which has widespread use in discrete optimization, program analysis, constraint based graphics, and bioinformatics. He has a long standing interest in (constraint) programming/modelling languages having helped develop CLP(R), HAL, Zinc and MiniZinc.


Friday September 9, 2016 10:30 - 12:10
Grand Amphi Lascrosses building

11:45

MiniZinc challenge
Results of the MiniZinc challenge (http://www.minizinc.org/challenge2016/challenge.html)

Speakers
avatar for Peter Stuckey

Peter Stuckey

Professor, University of Melbourne and Data61
Peter Stuckey is a Professor in Computer Science at the University of Melbourne. His research interests focus on constraints and constraint solving, which has widespread use in discrete optimization, program analysis, constraint based graphics, and bioinformatics. He has a long standing interest in (constraint) programming/modelling languages having helped develop CLP(R), HAL, Zinc and MiniZinc.


Friday September 9, 2016 11:45 - 12:10
Grand Amphi Lascrosses building

12:10

(Packed) Lunch
Get your sandwich box and go in the Japanese garden!

Friday September 9, 2016 12:10 - 13:40
Cafeteria Lascrosses building

13:40

Technical Session (10): Learning, decomposition
    See presentations
  • 13:40-14:05 Thibaut Feydy and Peter J. Stuckey. Interval Constraint with Learning : Application to Air Traffic Control

  • 14:05-14:30 Maxim Shishmarev, Christopher Mears, Maria Garcia De La Banda and Guido Tack. Learning from Learning Solvers

  • 14:30-14:55 Philippe Jégou, Hanan Kanso and Cyril Terrioux, Towards a Dynamic Decomposition of CSPs with Separators of Bounded Size

  • 14:55-15:20 Diego de Uña, Graeme Gange, Peter Schachte and Peter J. Stuckey. A Bounded Path Propagator on Directed Graphs


Speakers
avatar for Michael Codish

Michael Codish

Ben Gurion University
avatar for Hanan Kanso

Hanan Kanso

Laboratoire LSIS
MS

Maxim Shishmarev

Monash University
avatar for Diego de Uña

Diego de Uña

Ph.D. Student, University of Melbourne


Friday September 9, 2016 13:40 - 15:20
Amphi Bosco Bosco building

13:40

Technical Session (9): Modelling, MIP
    See presentations
  • 13:40-14:05 Harsha Nagarajan, Mowen Lu, Emre Yamangil and Russell Bent. Tightening McCormick Relaxations for Nonlinear Programs via Dynamic Multivariate Partitioning

  • 14:05-14:30 Wen-Yang Ku and Chris Beck. Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems

  • 14:30-14:55 Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser and Christine Solnon. Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems

  • 14:55-15:20 Gleb Belov, Peter Stuckey, Guido Tack and Mark Wallace. Improved Linearization of Constraint Programming Models

Moderators
Speakers
avatar for Chris Beck

Chris Beck

Professor, University of Toronto
avatar for Ciaran McCreesh

Ciaran McCreesh

University of Glasgow
avatar for Harsha Nagarajan

Harsha Nagarajan

Los Alamos National Laboratory
avatar for Guido Tack

Guido Tack

Monash University


Friday September 9, 2016 13:40 - 15:20
Grand Amphi Lascrosses building

15:30

Technical Session (11): SAT, SMT
    See presentations
  • 15:30-15:55 Alexey Ignatiev, Alessandro Previti and Joao Marques-Silva. On Finding Minimum Satisfying Assignments

  • 15:55-16:20 Ozgur Akgun, Ian Gent, Christopher Jefferson, Ian Miguel and Peter Nightingale. Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT

Moderators
avatar for Emmanuel Hebrard

Emmanuel Hebrard

Researcher, LAAS-CNRS
Emmanuel Hebrard is a viviparous mammal.

Speakers
AI

Alexey Ignatiev

University of Lisbon
avatar for Peter Nightingale

Peter Nightingale

University of St Andrews


Friday September 9, 2016 15:30 - 16:20
Grand Amphi Lascrosses building

15:30

Technical Session (12): scheduling
    See presentations
  • 15:30-15:55 Alexander Tesch. A Nearly Exact Propagation Algorithm for Energetic Reasoning in O(n²·log n)

  • 15:55-16:20 Ria Szeredi and Andreas Schutt. Modelling and Solving Multi-Mode Resource-Constrained Project Scheduling

Moderators
avatar for Chris Beck

Chris Beck

Professor, University of Toronto

Speakers
RS

Ria Szeredi

Student, University of Melbourne and Data61, CSIRO
avatar for Alexander Tesch

Alexander Tesch

Zuse Institute Berlin


Friday September 9, 2016 15:30 - 16:20
Amphi Bosco Bosco building

16:20

Farewell coffee
Good bye!

Friday September 9, 2016 16:20 - 17:00
Hallway Lascrosses building
 
Saturday, September 10
 

09:30

CSPLib Sprint
Sprint event to make improvements to the CSPlib problem library (http://csplib.org). This event is an informal gathering of interested researchers and practitioners. We will add new, interesting problems, add new solutions to existing problem instances, and work on improving references and links in the library. 

Saturday September 10, 2016 09:30 - 18:00
Room 133 Lascrosses building