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

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

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

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

Xavier Boucher, Giuditta Pezzotta, Fabiana Pirola, Stefan Wiesner - Oct. 1, 2022
Digital technologies to support lifecycle management of smart product-service solutions
Computers in Industry

Anaïs Durand, Michel Raynal, Gadi Taubenfeld - March 1, 2022
Contention-related crash failures: Definitions, agreement algorithms, and impossibility results
Theoretical Computer Science