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

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

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

Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, Marta Soare - Feb. 25, 2022
Secure Protocols for Best Arm Identification in Federated Stochastic Multi-Armed Bandits
IEEE Transactions on Dependable and Secure Computing

François Bachoc, Nicolas Durrande, Didier Rullière, Clément Chevalier - July 1, 2022
Properties and comparison of some Kriging sub-model aggregation methods
Mathematical Geosciences

Thierry Garaix, Stéphane Gaubert, Julie Josse, Nicolas Vayatis, Amandine Véber - March 1, 2022
Decision-making tools for healthcare structures in times of pandemic
Anaesthesia Critical Care & Pain Medicine