Master Class "Méthodes Hybrides pour l’Optimisation Combinatoire/Mixte"

Contact: 
Date: 
Lundi, 4 Juin, 2018 - 09:00 - Mardi, 5 Juin, 2018 - 17:30

 

Le labex CIMI de Toulouse finance un semestre thématique en optimisation qui s’ouvre avec une Master Class sur les méthodes hybrides pour l'Optimisation Combinatoire/Mixte les 4 et 5 juin au LAAS-CNRS. Des orateurs de renommée internationale feront partager leur expérience sur ces méthodes qui intègrent la Programmation Mathématique, la Programmation Par Contraintes, la Satisfaisabilité Booléenne, la Recherche Locale... A la frontière de la Recherche Opérationnelle et de l’Intelligence Artificielle, elles ont permis des avancées parfois spectaculaires sur la résolution de problèmes particulièrement difficiles.
 
Lieu : Salle de Conférences - LAAS/CNRS - 7 avenue du Colonel Roche 31031 Toulouse
 
Date 4 et 5 juin 2018 à partir de 9h (horaires précis en cours d’élaboration)

Pierre Bonami (Laboratoire d'Informatique Fondamentale de Marseille, Université d’Aix-Marseille)
Mixed-Integer Linear and Nonlinear Programming Methods
 
Willem Jan van Hoeve (Carnegie Mellon University)
Decision diagrams for Discrete Optimization, Constraint programming, and Integer Programming
 
John Hooker (Carnegie Mellon University)
Hybrid Mixed-Integer Programming / Constraint Programming Methods
 
Paul Shaw (IBM Research)
Combinations of local search and constraint programming
 
Laurent Simon (Labri, Université de Bordeaux)
Understanding, using and extending SAT solvers
 
Cette Master Class ouverte à tous (en particulier aux jeunes chercheurs de M2, de doctorat mais également à tout chercheur ou industriel intéressé) et à inscription gratuite mais obligatoire. Le logement sera offert aux étudiants dans la limite des places disponibles.