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
MCF EMSE - Représentation des connaissances et raisonnement
Concours professeur 2 ème classe - EMSE
MCF - EMSE - Science des Données et Mathématiques Appliquées
Postdoc : Constraint Programming for Cryptanalysis of Symmetric Encryption Schemes
Tenure track position

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

La recherche opérationnelle appliquée à la logistique hospitalière en période de crise Covid19

Limos featured in "The LAB"

Marthe Bonamy, Pierre Charbit, Oscar Defrain, Gwénaël Joret, Aurélie Lagoutte, Vincent Limouzy, Lucas Pastor, Jean-Sébastien Sereni - March 20, 2020
Revisiting a theorem by Folkman on graph colouring
The Electronic Journal of Combinatorics

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

Chen-Fu Chien, Stéphane Dauzère-Pérès, Woonghee Tim Huh, Young Jae Jang, James Morrison - May 2, 2020
Artificial intelligence in manufacturing and logistics systems: algorithms, applications, and case studies
International Journal of Production Research

Amadeu Almeida Coco, Christophe Duhamel, Andréa Cynthia Santos - Feb. 1, 2020
Modeling and solving the multi-period disruptions scheduling problem on urban networks
Annals of Operations Research

Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade - Jan. 1, 2020
A Faster Cryptographer's Conspiracy Santa
Theoretical Computer Science