[1er novembre 2025] Bienvenue à Damien PIOT, nouveau doctorant dans l’équipe

Damien Piot commence sa thèse intitulée "Planification générique et explicable d’emplois du temps d’organismes de formation professionnelle" sous la direction d'Emmanuel Hébrard et Marie-José Huguet en CIFRE avec la société ValSoftware. Damien est ingénieur INSA de Toulouse, diplômé 2025 de la spécialité Mathématiques Appliquées.

[6 novembre 2025] ROC Session Mohamed SIALA

Mohamed a présenté un exposé intitulé "Fifty Shades of Trust" dans le cadre des ROC sessions: Abstract : In this talk, I'll present fifty facets of trustworthy machine learning. For each, I'll show how formal methods can help quantify, guarantee, and prove certain aspects of trust. Keywords : Trustworthy Machine Learning, Formal Methods

[23 octobre 2025] ROC Session Emmanuel HEBRARD

Emmanuel a présenté un exposé intitulé "Modéliser et résoudre un problème en TEMPO - et la solution à l'énigme de l'été !". Résumé: À l'attention de ceux qui étaient à la plage en août, voilà l'énigme de Matthieu: On a 12 billes et une balance Roberval. Toutes les billes ont le même poids sauf une. Est-ce qu'il est possible de trouver la bille de poids différent en 3 pesées ?

Au fait, cous pouvez tester TEMPO le nouveau solveur hybride CP/SAT d'Emmanuel ici !

[21 octobre 2025] Soutenance de la thèse de Julien ROUZOT

Julien Rouzot a soutenu sa thèse intitulée "Optimisation combinatoire et programmation par contraintes pour les missions spatiales : transferts de données, observations scientifiques et ordonnancement des opérations". Le jury était composé de Pierre Lopez (LAAS), Directeur de thèse, Antoine Jouglet (UTC/Heudiasyc), Pierre SCHAUS (Université Catholique de Louvain, Belgique) , Rapporteurs, Christine SOLNON (INSA de Lyon/CITI), Arnaud MALAPERT (Université Côte d'Azur/I3S), Cédric PRALET (ONERA) , Karine MERCIER (CNES) et Philippe GARNIER (Université de Toulouse/IRAP), CoDirecteur de thèse. Invités: Christian Artigues et Emmanuel Hébrard. Bravo julien !

[16 octobre 2025] ROC Session Marianne DEFRESNE

Marianne a présenté un exposé intitulé "Apprentissage pour la modélisation de problèmes combinatoires et applications multi-disciplinaires (AI4sustainability)". Résumé: Cette proposition proposera un aperçu de mes travaux et intérêts de recherche, et une discussion sur min intégration dans l’équipe. Mes travaux se résument par l’utilisation d’apprentissage pour modéliser des problèmes combinatoires à partir de données. Durant ma thèse, j’ai travaillé sur la prédiction du problème (contraintes et objectif) à partir d’un contexte afin d’imiter de bonnes solutions. Outre la qualité du modèle obtenu, la méthode proposée se distingue par sa capacité à passer à l’échelle sur des problèmes de grande taille et sa frugalité (données et paramètres du modèle neuronal). Je l’ai appliquée sur des problèmes de design de protéines pour la santé ou la chimie verte, et plusieurs designs ont été validés expérimentalement. En postdoc, je me suis concentrée sur la modélisation de fonctions objectif pour représenter des préférences utilisateur dans un cadre multi-objectif. La méthode proposée se concentre surtout sur le passage à l’échelle pour assurer des interactions en temps réel avec l’utilisateur. Je travaille actuellement sur l’extension de cette méthode à des objectifs non-spécifiés et son application à des problèmes de conservation de la biodiversité.
A l’avenir, j’aimerais poursuivre des développements méthodologiques sur l’hybridation entre apprentissage et optimisation combinatoire et les appliquer sur des problèmes concrets, idéalement avec un impact sociétal ou environnemental. Au-delà de la modélisation, je m’intéresse aussi à l’utilisation de l’optimisation combinatoire pour améliorer les modèles d’apprentissage (par exemple en termes d’interprétabilité ou de fiabilité), ou l’intégration de l’apprentissage aux solveurs ou aux heuristiques pour les accélérer.

[10 octobre 2025] Lancement du projet ANR OMNEOS

Le projet ANR OMNEOS (Optimisation de la gestion des observations de la Terre avec une constellation de satellites.) de durée 42 mois vit de démarrer. Le consortium regroupe l'ONERA, le LAAS et la société Prométhée. Le Porteur est Cédric Pralet de L'ONERA. L'équipe ROC est responsable du WP3 sur les algorithmes hybrides pour l’optimisation (Emmanel Hébrard) et du WP4 sur la gestion des incertitudes (Christian Artigues). Autres membres : Marie-José Huguet, Pierre Lopez. Un financement de thèse (Titouan Seraud)et de post-doc (à recruter) sont associés à ce projet pour le LAAS.

[10 octobre 2025] Bienvenue à Titouan SERAUD, nouveau doctorant dans l’équipe

Titouan Seraud démarre sa thèse dans le cadre du projet ANR OMNEOS. Il est encadré par Emmanuel Hébrard et Cédric Pralet (ONERA). Titouan est ingénieur INSA de Toulouse, diplômé 2025 de la spécialité Informatique et Réseaux.

[09 octobre 2025] ROC Session Sulian LoBozec-Chiffoleau

Sulian Le Bozec-Chiffoleau, doctorant à IMT Atlantique, a présenté un exposé intitulé "Bimodal Depth-First Search for Scalable GAC for AllDifferent". Abstract : Global Constraints is a key concept in Constraint Programming, enabling efficient propagation by considering the interactions between several variables. For example, the ALLDIFFERENT constraint [Régin, 1994] ensures distinct values for variables in a set. Global constraints exploit problem structure to provide stronger filtering, often aiming for high levels of consistency, such as Generalised Arc Consistency (GAC) which ensures all inconsistent values relative to the considered constraint are removed from the domains of the variables. Graph algorithms using Depth-First Search (DFS) are crucial for filtering many global constraints, such as ALLDIFFERENT. They are often applied to the Variable-Value Graph or similar. However, DFS becomes a bottleneck whenever the graph is dense. Under assumptions derived from classical domain representations (fast iteration and fast membership checks), we provide the bimodal DFS running in O(n + ˜m) time, where ˜m is the sum for each vertex of the minimum of its number of successors and non-successors; this matches the behavior of partially-complemented graph representations without explicitly constructing them. Integrating bimodal DFS into Regin’s GAC algorithm for ALLDIFFERENT yields a filtering procedure that scales much better: in experiments on large instances (e.g. N-Queens, Latin squares, Langford, Golomb rulers), the bimodal versions outperform classical GAC algorithms and get close to the efficiency of bound consistency (BC) while solving strictly more problems. On standard benchmark instances (MiniZinc Challenge), the approach remains stable and does not degenerate compared to the other algorithms.

[08 octobre et 15 2025] ROC Session : Solver TEMPO - Tim Lucherhand

Tim a donné un excellent Mini-cours C++. Cet exposé se fait dans le cadre d'une nouvelle édition spéciale des ROC sessions dédiées au solveur TEMPO.

[02 octobre 2025] ROC Session Liding XU

Liding Xu, postdoctorant au Zuse-Institut Berlin a donné la présentation suivante "No Free Lunch in MIP? Unleashing Computational Power for Cutting Generation and LP Solving". Abstract : This talk presents recent advances in Mixed Integer Programming (MIP), with a focus on cutting plane generation and GPU acceleration. As classical methods yield diminishing returns in modern solvers, we consider allocating more computational resources to MIP solves with new computational strategies. Our main contribution is a sparsity-driven framework for generating strong cuts, with emphasis on Complemented Mixed Integer Rounding (CMIR) cuts—among the most effective in current MILP solvers. Rather than relying on heuristics, we reformulate the aggregation problem as a mixed-integer program and solve it via an LP-based approach. On the MIPLIB 2017 benchmarks, this improvement enhances performance by solving more instances with fewer nodes and reduced time. We also analyze the strength of CMIR cuts, showing they can generate faces of the convex hull of mixed-integer sets. This provides new insights into their effectiveness and motivates stronger cut generation strategies, including using more expensive subMIP routines. Finally, I will discuss recent progress in GPU acceleration for MIP solvers. In particular, we investigate the use of parallel primal-dual hybrid gradient (PDHG) methods—originally proposed by Chambolle–Pock for large-scale convex optimization. Recent developments in PDHG significantly improve scalability and accuracy on GPUs, making it a promising approach for solving LPs within MIPs.

[25 septembre 2025] ROC Session Dennis WILSON

Dennis Wilson, Enseignant-Chercheur à l'ISAE-Supaéro a présenté un exposé intitulé "AlphaEvolve : Automatiser la découverte grâce à l’évolution de code". Abstract : Je présenterai AlphaEvolve, un système basé sur l’évolution de code qui vise à automatiser la découverte scientifique et l’optimisation de modèles. Dans un premier temps, j’expliquerai son fonctionnement et son positionnement dans le domaine de l’intelligence artificielle inspirée par l’évolution biologique. Je montrerai ensuite comment j’applique cette approche aux modèles climatiques, afin d’explorer de nouvelles pistes pour mieux comprendre et anticiper le changement climatique. Je suis enseignant-chercheur (HDR) en intelligence artificielle et science des données à ISAE-SUPAERO, où mes recherches portent sur l’évolution artificielle, les réseaux de neurones et leurs applications environnementales.

[15-19 septembre 2025] ROC à ECML PKDD'25

Mohamed Siala a présenté son papier :
“On Trustworthy Rule-Based Models and Explanations”, Mohamed Siala, Jordi Planes, Joao Marques-Silva
à la "European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases" (ECML PKDD) à Porto.

[7-12 septembre 2025] ROC au Dagstuhl Seminar: “Interactions in Constraint Optimization”

Mohamed Siala a participé au Dagstuhl Seminar 25371 “Interactions in Constraint Optimization”. Vous trouverez plus d'information sur ce séminaire ici.

[1er septembre 2025] Bienvenue à Valentin Antuori, post-doctorant dans l’équipe

Valentin rejoint l’équipe en tant qu’Ingénieur de Recherche. Il travaille avec Emmanuel Hébrard sur le développement du solveur TEMPO. Ce travail bénéficie d’un financement / mécénat de Google.

[1 septembre 2025] Bienvenue à Marianne Defresne, nouvelle MCF dans l'équipe ROC !

L'équipe souhaite chaleureusement la bienvenue à Marianne Defresne qui a pris le 1er septembre ses fonctions de Maître de Conférences à l'INSA de Toulouse et devient membre permanent de l'équipe ROC. Ses principales activités de recherche concernent les approches hybrides en intelligence artificielle, combinant apprentissage automatique et optimisation combinatoire, avec une attention particulière portée à leurs dimensions sociales et environnementales. Voir aussi sa présentation sur les actualités de l'INSA.

[01 septembre 2025] Christian Artigues, nouveau responsable de l’équipe ROC

Suite au départ de Laurent Houssin en détachement à l'ENAC, Christian Artigues devient le nouveau responsable de l'équipe ROC.

[01 septembre 2025] Laurent Houssin, Enseignant-Chercheur à l’ENAC

Laurent rejoint l’ENAC en détachement sur un poste d’enseignant-chercheur. Félicitations Laurent !

[01 septembre 2025] Sandra Ulrich Ngueveu est nommée professeure à l’N7

Sandra est recrutée sur un poste de Professeure des Universités en 61ème section au département EEA de l’INP/ENSEEIHT.

Félicitations de toute l’équipe !

[01 septembre 2025] Matthieu Masson recruté comme ATER à l’INSA

Matthieu a été recruté comme ATER en 61e section au département GEI de l’INSA-Toulouse. Félicitations Matthieu !

[07 juillet au 29 aout 2025] Stage de Bastien Chauve

Bastien est étudiant en 3e année MIC à l’INSA de Toulouse et effectue un stage dans l’équipe. Il travaille sur un algorithme glouton pour construire des arbres de décision en combinant à la fois des métriques évaluant l'intérêt pour l’apprentissage automatique et l'intérêt pour la protection de la vie privée. Son stage est encadré par Julien Ferry et Marie-José Huguet.

[07 juillet au 29 aout 2025] Stage de Thibault Eynard-Suarez

Thibault est étudiant en 3e année MIC à l’INSA de Toulouse et effectue un stage dans l’équipe. Il travaille sur des problèmes de plus courts chemins en y intégrant des questionnements éthiques et/ou écologiques. Son stage fait suite au travail du GT RO Environnement et Société (Odile Bellenguez, Nadia Brauner, Christine Solnon et Alexis Tsoukias : https://hal.science/hal-05046104), il va étudier des plus courts chemins sous contraintes d'autonomie. Son stage est encadré par Marie-José Huguet

[12-13 juin 2025] Journées de l’équipe ROC à Germ (Hautes-Pyrénées)

Les journées de l’équipe ROC se sont déroulées à Germ dans les Hautes-Pyrénées du 12 au 13 juin 2025. Avec un très beau temps et un cadre idyllique, ces deux journées de séminaires et d’échanges scientifiques ont été particulièrement réussies. Un quiz a démarré les journées avec des questions sur le tissu scientifique local, national et international. Félicitations à l’équipe menée par Théo, Cyrille et pour leur victoire sans appel. Xiao a ensuite présenté ses travaux sur “BFS-Based Canonical Codes for Generating Graphs with Constraint Programming,” et Tess a présenté les résultats de sa première année de thèse avec un exposé intitulé “Calcul des trajectoires des AGVs dans un environnement portuaire automatisé”. L’après midi, Laurent a présenté un tutoriel sur la régression linéaire et un exposé de Louis sur “A Complex Network Analysis Approach for Generating Realistic Instances of the ScheduledService Network Design Problem” a cloturé la journée, laissant la place à différentes activités autour de la piscine ou une randonnée sous la chaleur. Le lendemain, une lecture croisée d’articles a permis d’échanger sur des sujets aussi variés que les coupes profondes de Benders, les contraintes de tables intelligentes, les approches SMT, le branch-and-cut pour les tournées de véhicules et l’éthique en RO. Place ensuite aux exposés sur les travaux de première année de thèse avec Hugo et la “Convergence accélérée de la Décomposition Lagrangienne pour la Planification Automatique”, Youssef avec “Hybrid methods for production scheduling”, Dimitri sur la “Couverture partielle de réseaux sous incertitudes”, Hugues avec “Ordonnancement en radiothérapie avec incertitude sur l'arrivée des patients”. Enfin Tim a présenté ses résultats sur “Understanding the Impact of Value Selection Heuristics in Scheduling Problems”. Un grand merci aux intervenants et un grand bravo à Laurent pour une organisation impeccable et des animations originales et inspirantes !

[20 mai 2025] Soutenance de thèse de Camille Lescyer

Camille a soutenu sa thèse intitulée "Programmation mathématique et heuristiques pour l'allocation des ressources de satellites de télécommunication" devant le jury composé de Andréa Cynthia Santos (Université Le Havre Normandie/ISEL/LITIS), Jin-Kao Hao (Université d'Angers/LERIA), Rapporteurs, Cédric Pralet (ONERA), Directeur de thèse, Christian Artigues (LAAS), Codireteur de thèse, Jonathan Guerra (Airbus), Ivana Ljubić (ESSEC), Laurent Houssin (LAAS), Examinateurs.

[12 mai 2025] Bienvenue à Elyes Chammam, Elève-Ingénieur INSAT - Tunis

Elyes Chammam, Elève-Ingénieur l’INSAT de Tunis, commence son stage de six mois sur des approches de décomposition pour la résolution de problèmes d’ordonnancenent K-cycliques dans les ateliers flexibles. Il est co-encadré par Christian Artigues et Ghassen Cherif.

[6 mai 2025] Bienvenue à Youssef Karouma, nouveau doctorant ROC

Youssef Karouma, Ingénieur de l’Ecole Centrale de Lyon, démarre sa thèse CIFRE avec la société Schaeffler sur l’ordonnancement de la production sous incertitudes par des méthodes hybrides de recherche opérationnelle et d’apprentissage automatique. Il est co-encadré par Christian Artigues et Romain Guillaume de l’IRIT. Il fait également partie de la chaire HEROIC d’ANITI.

[5 mai 2025] Bienvenue à Pierre Attoyan, stagiaire ENAC et M2RO

Pierre Attoyan, Elève-Ingénieur à l’ENAC et au Master RO de Toulouse, commence son stage de six mois sur la méthode de génération de colonnes appliquée au problème de Circle Packing avec techniques de linéarisation de la distance euclidienne. Il est co-encadré par Christian Artigues et Laurent Houssin.

[28-30 avril 2025] ROC participe à l’organisation d’IWPSS 2025

Le workshop IWPSS 2025 s’est tenu à Toulouse du 28 au 30 avril 2025, à Toulouse Business School, un gros succès avec près de 70 participants, un record pour ce workshop créé en 1997 ! L’équipe ROC a fait partie du comité de programme (Christian Artigues était co-chair) et du comité d’organisation (Simon Bélières, Emmanuel Hébrard, Laurent Houssin, Carla Juvin, Pierre Lopez, Justine Praneuf). Par ailleurs les présentations suivantes de l’équipe ont été effectuées:

• Julien Rouzot : Scheduling Data Transfer with Priorities and Interruptions for Space Missions
• Francois Lamothe : Unspllittable flows for routing throughput inside LEO constellations
• Camille Lescuyer : Resource Allocation for a Constellation of Low Earth Orbit Telecommunication Satellites: Optimization of the User-Satellite Link Network
• Julien Rouzot : Integer and Constraint Programming for the Offline Nanosatellite Partition Scheduling Problem

[18 avril – 5 septembre 2025] Bienvenue à Dhouha Ouenniche, stagiaire ENIT - Tunis

Dhouha Ouenniche est élève-ingénieure en 3e année à l’École Nationale d’Ingénieurs de Tunis, spécialité Génie Industriel. Son stage porte sur l’adaptation et le développement d’une méthode de branch-and-price pour la planification des activités d’une flotte de robots logistiques dans un environnement de production. Elle est co-encadrée par Cyrille Briand et Elouan Blanchard

[7 avril 2025] Bienvenue à Hugues Rauwell, nouveau doctorant ROC

Hugues Rauwel vient d’arriver au LAAS dans le cadre de sa thèse sur l’ordonnancement sous incertitude des rendez-vous patients en radiothérapie. Il est coencadré par Romain Guillaume (IRIT), Laure Vieillevigne (CRCT) et Christian Artigues. Sa thèse est financée par la chaire HEROIC d’ANITI.

[1er avril 2025] Bienvenue à Mohamed Seck, stagiaire ENAC et M2RO

Mohamed Seck, Elève-Ingénieur à l’ENAC et au Master RO de Toulouse, commence son stage de six mois sur l’ordonnancement de tâches pour un nanosatellite avec prise en compte des contraintes de charge et décharges de batterie. Il est co-encadré par Christian Artigues, Emmanuel Hébrard et Pierre Lopez.

[ 1er avril 2025] Bienvenue à Xiao PENG, post-doctorant dans l’équipe

Xiao rejoint l’équipe en tant que post-doctorant. Il travaille avec Emmanuel Hébrard sur les problèmes d'optimisation et d'énumération dans les graphes.

[ 1er avril 2025] Bienvenue à Axel Verneuil, stagiaire dans l’équipe

Axel Verneuil, en 2eme année de Master en Optimisation et Recherche Opérationnelle à l'Université de Nantes, démarre son stage sur l'Agrégation optimale des commodités pour le problème de conception de réseau de services. Ses encadrants sont Sandra Ulrich Ngueveu et Louis Bonnet.

[12 mars 2025] Interview de Sandra Ulrich Ngueveu dans les actualités de CNRS Sciences Informatiques

Un interview intitulé “Explorer, modéliser, optimiser avec Sandra Ulrich Ngueveu” est paru dans les actualités de l’institut CNRS Informatique le 12 mars 2025. Elle y décrit son travail de recherche sur l'optimisation. Ainsi, elle le définit comme "trouver une solution qui minimise une ou plusieurs fonctions dans un espace de décision souvent très grand et d'être capable de le prouver".

[3 mars 2025 - 18 avril 2025] Johanna Mlekusch, doctorante invitée de l’Université de Vienne invitée dans l’équipe.

Johanna Mlekusch, doctorante de l’Université de Vienne sous la direction de Richard Hartl effectue son deuxième séjour dans l’équipe pour une collaboration avec Christian Artigues et Carla Juvin sur une méthode de décomposition de Benders pour un problème d’ordonnancement de type flow-shop hybride avec opérateurs multi-compétences.

[3 mars 2025] Bienvenue à Damien Ricci et Komi Jules Afeli, stagiaires du M2RO

Damien Ricci et Komi Jules Afeli (Master RO de Toulouse) commencent leur stage de fin d’études sous la direction de Sandra Ulrich Ngueveu et François Lamothe. Ils travaillent sur la résolution de problèmes d’optimisation pour la minimisation de l’impact environnemental du e-commerce, dans le cadre de la chaire “Onestock Retail Responsable”.

[26-28 février 2025] ROC aux journées nationales de la ROADEF, (Champs sur Marne)

L’équipe a participé aux journées de la ROADEF qui se sont déroulées à l’Ecole des Ponts à Champs sur Marne avec comme tous les ans un programme riche.

A retenir concernant l’équipe ROC, plusieurs présentations

• Elouan Blanchard, Cyrille Briand, Mohamed Amine Abdeljaouad2, Planification des tâches d’une flotte de robots mobiles autonomes pour la logistique interne de systèmes de production,
• Louis Bonnet, Simon Belieres, Mike Hewitt, Sandra Ulrich Ngueveu, Iterative aggregation and disaggregation of commodities for the scheduled service network design problem,
• Cyrille Equoy, Cyrille Briand, Frédéric Lerasle, Partitionnement en cliques à coût minimum de graphes orientés avec contraintes de flot
• Baptiste Ferrato, Frédéric Messine, Sandra Ulrich Ngueveu, Christophe Aubigny, Florian Allard, Optimisation des échanges d’électricité au sein d’une communauté d’énergie moyenne tension
• Dimitri Hubans, Laurent Houssin, Sonia Cafieri, Couverture partielle de réseaux sous incertitude
• Francois Lamothe, Sandra Ulrich Ngueveu, Approximating the Shapley value with stratified sampling
• Tess Nouy, Ghassen Cherif, Sandra Ulrich Ngueveu, Mikhail Zakharov, Calcul des trajectoires des AGVs dans un environnement portuaire automatisé,
• Théo Le Brun, Marie-José Huguet, Sandra Ulrich Ngueveu, Romulus Grigoras, A Green variant of the Transportation Problem for E-commerce,
• Camille Lescuyer, Christian Artigues,Jean-Thomas Camino, Cédric Pralet, Decomposition methods for beam-layout optimization
• Julien Rouzot, Mickael Pereira, Christian Artigues, Philippe Garnier, Emmanuel Hébrard, Pierre Lopez - Integer and constraint programming for the offline nanosatellite partition scheduling problem
• Tanguy Terrien, Cyrille Briand, Philippe Truillet, Preemptive shift-based scheduling with maximum workload constraints

- une session plénière de Christian (Modèles et algorithmes proactifs et réactifs en ordonnancement sous incertitudes).

- l’occasion de croiser d’anciens membres (Sébastien, Yacine, Tom, Margaux, Murat, Léa, Nicolas, Thierry, Hanes, Karim, Hugo, Stéphane, Jean-Charles, …)

- un repas partagé organisé par Simon

[23-25 février 2025] ROC à la conférence internationale ICORES 2025, Porto (Portugal),

L’équipe a participé à la conférence ICORES 2025 (International Conference on Operations Research and Enterprise Systems) qui s’est déroulée à Porto du 23 au 25 février.

- Théo Le Brun, MJ. Huguet, S.U. Ngueveu, R. Grigoras, A Green Transportation Problem for e-Commerce Deliveries

[20 janvier-30 juin 2025] ROC accueille Margarida Carvalho de l’Université de Montréal

Margarida Carvalho, Professeure de l‘Université de Montréal et membre de plusieurs centres de recherche dont le CIRRELT et le MILA effectue un séjour dans l’équipe ROC. Elle collabore notamment avec Sandra Ulrich Ngueveu et Alois Duguet sur les approximations linéaires par morceaux pour les jeux de programmation en nombres entiers.

Anciennes pages des actualités : uniquement sur l'intranet ROC