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

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)