Skip to: site menu | section menu | main content

CP Doctoral Programme 2012

in conjunction with CP 2012
Currently viewing: Doctoral Programme 2012 » Schedule

Important dates:

  • Submission
    Friday 15 June 2012
  • Final version
    Friday 14 September 2012
  • Doctoral programme
    8-12 October 2012


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


Doctoral poster session and welcome cocktail

Friday 12th October


Doctoral tutorial on "Optimization under uncertainty" by Warren Powell (Princeton)