Presentation

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

Hassan Hamie, Anis Hoayek, Bassam El-Ghoul, Mahmoud Khalifeh - May 1, 2022
Application of non-parametric statistical methods to predict pumpability of geopolymers for well cementing
Journal of Petroleum Science and Engineering

Amal El Kaid, Denis Brazey, Vincent Barra, Karim Baïna - June 1, 2022
Top-Down System for Multi-Person 3D Absolute Pose Estimation from Monocular Videos
Sensors

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki - March 14, 2022
Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake
New Generation Computing

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

Malika More, Pascal Lafourcade - May 20, 2022
Comment fonctionnent les bitcoins ?
Interstices