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)

MCF 0863 ISIMA
MCF 0946 ISIMA
MCF 0770 IUT Aubiere Département Informatique
MCF 001 IUT Aurillac
PR 1100 IUT Aubière Département R&T
MCF Sigma Clermont
Postdoc : Constraint Programming for Cryptanalysis of Symmetric Encryption Schemes
Tenure track position

Jean-François MAINGUET - Univ. Grenoble Alpes, CEA-LETI, France - March 4, 2020, 1:30 p.m. - Amphi 3 - Pôle commun Biométrie : the Good, the Bad and the Ugly

Thierry ANTOINE-SANTONI, MCF - HDR - Università di Corsica Pasquale Paoli - May 14, 2020, 2 p.m. - Salle du conseil pas titre

Publication of a book "Programmation par Contraintes : démarches de modélisations pour des problèmes d'optimisation"

Alexandre Lima, Valeria Borodin, Stéphane Dauzere-Peres, Philippe Vialletelle - Sept. 1, 2019
Sampling-based release control of multiple lots in time constraint tunnels
Computers in Industry

Alexandre Lima, Valeria Borodin, Stéphane Dauzère-Pérès, Philippe Vialletelle - Jan. 19, 2020
A sampling-based approach for managing lot release in time constraint tunnels in semiconductor manufacturing
International Journal of Production Research

Antoine Dailly, Florent Foucaud, Adriana Hansberg - Nov. 1, 2019
Strengthening the Murty-Simon conjecture on diameter 2 critical graphs
Discrete Mathematics

Christian Laforest - Dec. 12, 2019
S’aider des graphes pour élaborer une notice de montage
Interstices

Loïc Le Guennec, Mathieu Coureuil, Xavier Nassif, Sandrine Bourdoulous - Nov. 10, 2019
Strategies used by bacterial pathogens to cross the blood–brain barrier
Cellular Microbiology