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

Florent Foucaud, Paras Vinubhai Maniya, Kaustav Paul, Dinabandhu Pradhan - 1 mars 2026
Locating-dominating partitions for some classes of graphs
Discrete 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

Victor Charpenay, Mansour Zoubeirou a Mayaki, Antoine Zimmermann - 31 mars 2026
On the Computational Cost of Knowledge Graph Embeddings
Transactions on Graph Data and Knowledge

Dipayan Chakraborty, Florent Foucaud, Michael Antony Henning, Tero Laihonen - 13 mars 2026
A note on partitioning the vertex set of a graph into a dominating set and a locating dominating set
The Electronic Journal of Combinatorics

Hassan Maatouk, Didier Rullière, Xavier Bay - 19 mars 2026
Truncated multivariate normal distribution under linear and nonlinear constraints
Technometrics