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
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
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
13:30-13:55 Katherine Giles and Willem-Jan Van Hoeve. Solving a Supply-Delivery Scheduling Problem with Constraint Programming
