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

Nicolas Michinov, Sacha Drouet, Anthony Cherbonnier, Eric Jamet, Marinette Bouet, Vincent Mazenod, Albane Pechard, Farouk Toumani, Zineddine Zahouani, Estelle Michinov - 1 mai 2026
Facilitating group work through collaboration instructions using a digital environment
Acta Psychologica

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

Florent Foucaud, Paras Vinubhai Maniya, Kaustav Paul, Dinabandhu Pradhan - 1 mars 2026
Locating-dominating partitions for some classes of graphs
Discrete Mathematics

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

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