Loading…
CP 2016 has ended
Keynote [clear filter]
Monday, September 5
 

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
 
Tuesday, September 6
 

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... Read More →

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... Read More →


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

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... Read More →


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

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... 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... Read More →


Thursday September 8, 2016 08:45 - 09:45
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... 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... 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... Read More →


Thursday September 8, 2016 14:45 - 15:00
Grand Amphi Lascrosses building
 
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... 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... Read More →


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