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

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

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

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

Lucas Brunel, Mathieu Balesdent, Loïc Brevault, Rodolphe Le Riche, Bruno Sudret - 1 janvier 2027
Active learning strategy for excursion-set confidence regions of functional simulator outputs
Computer Methods in Applied Mechanics and Engineering

Antoine Dailly, Harmender Gahlawat, Zin Mar Myint - 15 octobre 2026
The Closed Geodetic Game: algorithms and strategies
Theoretical Computer Science