Bonjour
La Master class « Méthodes Hybrides pour l’Optimisation Combinatoire/Mixte » organisée lundi 4 juin et Mardi 5 juin au LAAS-CNRS à Toulouse à partir de 10h30 dans le cadre du semestre Optimisation du labex CIMI affiche complet avec pas moins de 110 inscrits.
Vous pourrez toutefois regarder les exposés en direct sur
Le programme complet est disponible sur
Bien cordialement
Christian Artigues
————-
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 10h30
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
Christian Artigues, pour le comité d’organisation