Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
Axe MAAD
Graphes, optimisation, simulation, apprentissage
Axe SIC
Données, services, interopérabilité, réseaux de capteurs sans fil
Axe ODPS
Optimisation Combinatoire et Simulation à Evènements Discrets
Présentation
Le Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS) est une Unité Mixte de Recherche (UMR 6158) en informatique, et plus généralement en Sciences et Technologies de l'Information et de la Communication (STIC).
(lire la suite)Séminaires à venir
|
Eric Bourreau - LIRMM - 5 novembre 2026 13:30 - salle A002 Accélérations quantiques pour les problèmes combinatoires : du plus court chemin à l’ordonnancement en atelier |
|
Séminaires thématiques à venir
|
ALCOLOCO - Adrien Leduque - TSCF (INRAE) - 5 novembre 2026 15:00 - salle A002 Anonymous Multi-Agent Path Finding with Task Duration and Moving After Target |
|
ALCOLOCO - Lucas Lorieau - LIMOS - 5 novembre 2026 15:20 - salle A002 Polynomial pathwidth and algorithms for graphs vertex-coverable by few shortest paths |
Soutenances de thèses
|
Durande Berluskoni KAMGA NGUIFO - 3 novembre 2026 14:00 - Amphi 3 - Pôle commun Apport des motifs graduels à l’explicabilité des modèles boîtes noires de classification |
Dernières Publications
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani - 2 septembre 2026
Optimal asynchronous perpetual finite grid exploration
Theoretical Computer Science
Florent Foucaud, Atrayee Majumder, Tobias Mömke, Aida Roshany-Tabrizi - 21 octobre 2026
Polynomial-time algorithms for Path Cover and Path Partition on trees and graphs of bounded treewidth
Theoretical Computer Science
Zhifei Zheng, Sami Cherif, Matthieu Py, Rui Shibasaki, Chu-Min Li, Laurent Deroussi, Nathalie Grangeon - 1 août 2026
Balancing power with logic: Exact satisfiability-based methods for energy-aware assembly lines
Computers and Operations Research
Xavier Boucher, Sébastien Saetta, Cemre Gunes Şengül-Vautier, Johanna Clerc, Magali Coldefy, Loïc Rohr, Yvonne Quenum, Eric Fakra - 17 septembre 2026
Reducing seclusion and mechanical restraint: a systemic and decision-oriented framework for mental health services
Mental Health Review Journal
Florent Foucaud, Esther Galby, Liana Khazaliya, Shaohua Li, Fionn Mc Inerney, Roohani Sharma, Prafullkumar Tale - 1 mars 2027
Metric Dimension and Geodetic Set Parameterized by Vertex Cover
Journal of Computer and System Sciences
Optimal asynchronous perpetual finite grid exploration
Theoretical Computer Science
Florent Foucaud, Atrayee Majumder, Tobias Mömke, Aida Roshany-Tabrizi - 21 octobre 2026
Polynomial-time algorithms for Path Cover and Path Partition on trees and graphs of bounded treewidth
Theoretical Computer Science
Zhifei Zheng, Sami Cherif, Matthieu Py, Rui Shibasaki, Chu-Min Li, Laurent Deroussi, Nathalie Grangeon - 1 août 2026
Balancing power with logic: Exact satisfiability-based methods for energy-aware assembly lines
Computers and Operations Research
Xavier Boucher, Sébastien Saetta, Cemre Gunes Şengül-Vautier, Johanna Clerc, Magali Coldefy, Loïc Rohr, Yvonne Quenum, Eric Fakra - 17 septembre 2026
Reducing seclusion and mechanical restraint: a systemic and decision-oriented framework for mental health services
Mental Health Review Journal
Florent Foucaud, Esther Galby, Liana Khazaliya, Shaohua Li, Fionn Mc Inerney, Roohani Sharma, Prafullkumar Tale - 1 mars 2027
Metric Dimension and Geodetic Set Parameterized by Vertex Cover
Journal of Computer and System Sciences