The Laboratory of Informatics, Modelling and Optimization of the Systems (LIMOS) is a Mixed Unit of Research (UMR 6158) in computing, and more generally in Sciences and Technologies of information and the Communication ( STIC).

(see more)

Keynotes à venir

Jean-Michel MULLER, Directeur de Recherche - LIP - Sept. 29, 2022, 1:30 p.m. - Amphi 2 - Pôle commun
Preuves en arithmétique virgule flottante

PhD Defense

Théo DUCROS - Sept. 27, 2022, 2 p.m. - Salle du conseil
Reasoning in Description Logics Augmented with Refreshing Variables

Last publications

Vasile-Alexandru Suchar, Luis Gustavo Nardin - May 1, 2022
Simulation-Based Assessment of the Effectiveness of Tests for Stationarity
Journal of Mathematics and Statistics

Jérémy Kalsron, Jean-Marie Favreau, Guillaume Touya - June 15, 2022
CrossroadsDescriber – Automatic Textual Description of OpenStreetMap Intersections
AGILE: GIScience Series

Romain Lardy, Marie-Madeleine Mialon, N Wagner, Y Gaudron, Bruno Meunier, K Helle Sloth, Dorothee Ledoux, Mathieu Silberberg, Alice de Boyer Des Roches, Q Ruin, Matthieu Bouchon, C Cirié, V Antoine, J Koko, Isabelle Veissier - Dec. 1, 2022
Understanding anomalies in animal behaviour: data on cow activity in relation to health and welfare
Animal - Open Space

Johann Chevalère, Loreleï Cazenave, Mickaël Berthon, Ruben Martinez, Vincent Mazenod, Marie-Claude Borion, Delphine Pailler, Nicolas Rocher, Rémi Cadet, Catherine Lenne, Norbert Maïonchi-Pino, Pascal Huguet - March 2, 2022
Compensating the socioeconomic achievement gap with computer‐assisted instruction
Journal of Computer Assisted Learning

Mamadou Moustapha Kanté, Christophe Paul, Dimitrios Thilikos - March 1, 2022
A Linear Fixed Parameter Tractable Algorithm for Connected Pathwidth
SIAM Journal on Discrete Mathematics