Master Class "Méthodes Hybrides pour l’Optimisation Combinatoire/Mixte" 4 et 5 juin 2018 au LAAS-CNR

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.

Inscriptions et plus d’informations sur

http://www.cimi.univ-toulouse.fr/optimisation/en/masterclass

Christian Artigues, pour le comité d’organisation