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

Dernières Publications

Guilherme D. da Fonseca, Yan Gerard - 20 août 2026
Shadoks Approach to Knapsack Polygonal Packing
Computing in Geometry and Topology

Paul Bastide, Louis Esperet, Carla Groenland, Claire Hilaire, Clément Rambaud, Alexandra Wesolek - 6 octobre 2026
Faithful universal graphs for minor-closed classes
SIAM Journal on Discrete Mathematics

Florent Foucaud, Esther Galby, Liana Khazaliya, Shaohua Li, Fionn Mc Inerney, Roohani Sharma, Prafullkumar Tale - 1 mars 2027
Metric Dimension and Geodetic Set Parameterized by Vertex Cover
Journal of Computer and System Sciences

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

Aya Ferchichi, Ali Ben Abbes, Vincent Barra, Imed Riadh Farah - 1 octobre 2026
SYNAPSE: A multi-agent LLM framework with parameter-free cross-attention fusion for interpretable multimodal spatio-temporal forecasting
Neurocomputing