Schedule
Monday 8th October
The doctoral programme talks are in room 410 of the
main conference venue.
Talks are 15+5 minutes long, where 5 minutes are for questions and swap-over.
9.00 - 10.00
- Burcu Caglar Gencosman: Production Scheduling using Constraint Programming
- David Fournier: Energy optimization of metro timetables: a hybrid approach
- Abdelilah Sakti: CSBT: Constrained Search-based Test Data Generation for Software
10:30 - 11:30
- Aya Saad: CDF-Intervals: Reliable Constraint Reasoning with Quantifiable Information
- William Lam: Empirical Evaluation of AND/OR Multivalued Decision Diagrams for Inference
- Anne Meyer: A constraint programming based approach for planning milk runs
12:00 - 13:00
- Olfat El-Mahi: Embedded System Verification Through Constraint-Based Scheduling
- Jean-Guillaume Fages. A new spanning tree relaxation for the Asymmetric TSP
- Hiep Nguyen: Dynamic Virtual Arc Consistency
14:00 - 15:00
- Achref El Mouelhi: Generalized Micro-Structures for Non-Binary CSP
- Loïc Blet: A generic framework for solving CSPs integrating decomposition methods
- Arunas Prokopas. Identification of Effective Configuration in Constraint Solver Synthesis
15:30 - 16:30
- Mohamed Ibrahim: A Generic Search Heuristic Based on Survey Propagation to Solve CSPs
- Mohamed Rezgui: A search strategy based on substitutability
Doctoral dinner in the evening
Tuesday 9th October
18.30
Doctoral poster session and welcome cocktail
Friday 12th October
9.00-10.30
Doctoral tutorial on "Optimization under uncertainty" by
Warren Powell (Princeton)