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
|
Eric Bourreau - LIRMM - 5 novembre 2026 13:30 - salle A002 Accélérations quantiques pour les problèmes combinatoires : du plus court chemin à l’ordonnancement en atelier |
|
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
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