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)

Soutenances de thèses


Arun RAVEENDRAN NAIR SHEELA - 13 novembre 2026 14:00 - Salle A102
Hybridization of Description Logics and Logic Programming for the Aeronautics Domain

Valentin GUIEN - 19 novembre 2026 09:00 - Amphi 3 - Pôle commun
Détection automatique d'anomalies dans le rythme circadien d'animaux laitiers

Dernières Publications

Ali Abbassi, Yann Dujardin, Eric Gourdin, Philippe Lacomme, Caroline Prodhon - 12 octobre 2026
Fixed-qubit CVaR-VQE and quantum-inspired QUBO sampling for static and dynamic restricted vertex multicut in telecom resilience
Scientific Reports

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

Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani - 2 septembre 2026
Optimal asynchronous perpetual finite grid exploration
Theoretical Computer Science

Carlos Fernandez Hernandez, Christelle Caillouet, Alexandre Guitton, Oana Iova, Fabrice Valois - 1 octobre 2026
Closing the gap between the things network and the optimal downlink scheduler
Computer Communications