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)

Séminaires à venir

Séminaires thématiques à venir

ALCOLOCO - Adrien Leduque - TSCF (INRAE) - 5 novembre 2026 15:00 - salle A002
Anonymous Multi-Agent Path Finding with Task Duration and Moving After Target

Dernières Publications

Valentin Guien, Violaine Antoine, Luis E C Rocha, Romain Lardy, Isabelle Veissier - 19 septembre 2027
Understanding Specific Cows’ Behavior Through Cows’ Activity
Lecture Notes in Computer Science

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

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

Mohammadamin Rakeei, Rosario Giustolisi, Gabriele Lenzini, Dhekra Mahmoud, Jannik Dreier, Pascal Lafourcade - 27 août 2026
Secure and verifiable coercion-resistant electronic exam
Journal of Cybersecurity

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