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

Séminaires thématiques à venir

ALCOLOCO - Praneet Kumar Patra - LIMOS - 8 octobre 2026 15:00 - salle A002
Inclusive and Exclusive vertex splits to specific graph classes


ALCOLOCO - Nicolas Schivre - LIMOS - 8 octobre 2026 15:25 - salle A002
Output-linear time enumeration of potential maximal cliques

Dernières Publications

Rui Ma, Yuan Zhang, Philippe Ciais, Wei Li, Jingfeng Xiao, Yingping Wang, Liyang Liu, Songyan Zhu - 29 juin 2026
Assimilation of Satellite‐Based Forest Biomass, Productivity and Leaf Area Index in a Global Land Model Incorporating Parameter Spatial Variations and Age Effects
Journal of Advances in Modeling Earth Systems

Florent Foucaud, Arti Pandey, Kaustav Paul - 15 août 2026
Characterizing optimal monitoring edge-geodetic sets for some structured graph classes
Discrete Applied Mathematics

Sébastien Salva - 22 juin 2026
Reliable execution of natural language test cases for GUI applications using LLM agents
Software Quality Journal

Antoine Dailly, Harmender Gahlawat, Zin Mar Myint - 15 octobre 2026
The Closed Geodetic Game: algorithms and strategies
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