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

Dernières Publications

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

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

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

Khaled Medini, Julien de Benedittis, Thorsten Wuest, Mihaela Juganaru - 15 juin 2026
Operationalising agile manufacturing in the digital transformation era: towards a process-oriented, empirically grounded roadmap
International Journal of Productivity and Performance Management

Dibyayan Chakraborty, Sandip Das, Florent Foucaud, Harmender Gahlawat, Dimitri Lajou - 28 avril 2026
Algorithms and complexity for geodetic sets on interval and chordal graphs
Information and Computation