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)Offres d'emplois
Séminaires thématiques à venir
|
ALCOLOCO - Yaping Mao - Qinghai Normal University, China - 4 septembre 2026 11:00 - salle A002 Introduction to Ramsey theory |
Actualités du labo
Dernières Publications
Antoine Dailly, Florent Foucaud, Anni Hakanen - 2 avril 2026
Algorithms and hardness for Metric Dimension on digraphs
Journal of Computer and System Sciences
Pascale Vicat-Blanc, Fahad Golra, Antoine Beugnard, Damien Lamy, Thierry Coupaye, Emmanuelle Abisset-Chavanne - 1 juin 2026
A cross-domain functional software architecture model for industrial digital twins.
Digital Twin
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
Sébastien Salva - 22 juin 2026
Reliable execution of natural language test cases for GUI applications using LLM agents
Software Quality Journal
Victor Charpenay, Mansour Zoubeirou a Mayaki, Antoine Zimmermann - 31 mars 2026
On the Computational Cost of Knowledge Graph Embeddings
Transactions on Graph Data and Knowledge
Algorithms and hardness for Metric Dimension on digraphs
Journal of Computer and System Sciences
Pascale Vicat-Blanc, Fahad Golra, Antoine Beugnard, Damien Lamy, Thierry Coupaye, Emmanuelle Abisset-Chavanne - 1 juin 2026
A cross-domain functional software architecture model for industrial digital twins.
Digital Twin
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
Sébastien Salva - 22 juin 2026
Reliable execution of natural language test cases for GUI applications using LLM agents
Software Quality Journal
Victor Charpenay, Mansour Zoubeirou a Mayaki, Antoine Zimmermann - 31 mars 2026
On the Computational Cost of Knowledge Graph Embeddings
Transactions on Graph Data and Knowledge