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, Tuomo Lehtilä - 1 février 2026
Identifying codes in graphs of given maximum degree: Characterizing trees
Discrete Mathematics

Dibyayan Chakraborty, Sandip Das, Florent Foucaud, Harmender Gahlawat, Dimitri Lajou - 28 avril 2026
Algorithms and complexity for geodetic sets on interval and chordal graphs
Information and Computation

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

Ali Abbassi, Yann Dujardin, Eric Gourdin, Philippe Lacomme, Caroline Prodhon - 14 janvier 2026
Assessing Quantum Annealing to solve the Minimum vertex multicut
Psykhe (Santiago)

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