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)

Soutenances de thèses


Arun RAVEENDRAN NAIR SHEELA - 13 novembre 2026 14:00 - Salle A102
Hybridization of Description Logics and Logic Programming for the Aeronautics Domain

Valentin GUIEN - 19 novembre 2026 09:00 - Amphi 3 - Pôle commun
Détection automatique d'anomalies dans le rythme circadien d'animaux laitiers

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

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

Nicolas Kerckhove, Armel Soubeiga, Jules Phalip, Célian Bertin, Bastien Doreau, Xavier Moisset, Noémie Delage, Nicolas Authier, Violaine Antoine, Bruno Pereira - 4 août 2026
Digital Monitoring and Chronic Pain Trajectories in Patients Receiving Tertiary Pain Care
JAMA Network Open

Xavier Boucher, Sébastien Saetta, Cemre Gunes Şengül-Vautier, Johanna Clerc, Magali Coldefy, Loïc Rohr, Yvonne Quenum, Eric Fakra - 17 septembre 2026
Reducing seclusion and mechanical restraint: a systemic and decision-oriented framework for mental health services
Mental Health Review Journal

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