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)

ALCOLOCO - Clara Marcille - LIMOS - 17 septembre 2026 15:00 - salle A002 Structural Parameterization of Path Cover

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

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

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

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

Nicolas Michinov, Sacha Drouet, Anthony Cherbonnier, Eric Jamet, Marinette Bouet, Vincent Mazenod, Albane Pechard, Farouk Toumani, Zineddine Zahouani, Estelle Michinov - 1 mai 2026
Facilitating group work through collaboration instructions using a digital environment
Acta Psychologica