Association Française pour la Programmation par Contraintes – Programmation par Contraintes: Décrivez votre problème, laissez les solveurs le résoudre Programmation par Contraintes: Décrivez votre problème, laissez les solveurs le résoudre

ACP Summer School 2011: Hybrid Methods for Constraint Programming

##

Venue

To be held in Turunç (Turkey) from Monday 27 June to Friday 1 July 2011

Themes

The objective of this advanced-level summer school is to study integration opportunities between CP solvers and the solvers of some other constraint- solving technologies, namely mixed integer programming (MIP), global (numerical) optimisation, Boolean satisfiability (SAT), and stochastic local search (SLS). Each speaker will focus on inference & relaxation, search, modelling, and implementation.

Lecturers

  • Ian Gent (University of St Andrews, Scotland, UK), on hybridising CP and SAT

  • John Hooker (Carnegie Mellon University, USA), on hybridising CP and MIP

  • Michel Rueher (Université de Nice Sophia Antipolis, France), on hybridising CP and global (numerical) optimisation

  • Pascal Van Hentenryck (Brown University, USA), on hybridising CP and SLS

Dates

  • Application: Fri 1 Apr

  • Notification: Fri 15 Apr

  • Stipend application: Thu 21 Apr

  • Stipend notification: Fri 29 Apr

  • Summer school: Mon 27 Jun - Fri 1 Jul

More information: http://www.gecode.org/events/acp- summerschool-2011/index.html


archive

Archive