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)

ALCOLOCO - Benjamin Bergougnoux - LIS, Marseille - 4 juin 2026 15:00 - A113 Neighborhood operator logics: efficient model checking in terms of width parameters

Call for Participation 2026 Summer School on AI Technologies for Trust, Interoperability, Autonomy and Resilience in Industry 4.0

Dipayan Chakraborty, Florent Foucaud, Michael Henning - 15 juin 2026
Identifying open codes in trees and 4-cycle-free graphs of given maximum degree
Discrete Applied Mathematics

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

Karim Terfasse, Ghassen Cherif, Marie-José Huguet - 23 février 2026
A path planning heuristic for automated guided vehicles in container terminals
RAIRO - Operations Research

Anthony Bertrand, Engelbert Mephu Nguifo, Violaine Antoine, David Hill - 2 avril 2026
A K-Means, Ward and DBSCAN Repeatability Study
Cloud Computing and Data Science

Antoine Dailly, Florent Foucaud, Anni Hakanen - 2 avril 2026
Algorithms and hardness for Metric Dimension on digraphs
Journal of Computer and System Sciences