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"

Andrea Mor, Claudia Archetti, Dominique Feillet, Maria Grazia Speranza - Jan. 1, 2020
Dynamic traveling salesman problem with stochastic release dates
European Journal of Operational Research

Quang-Duy Nguyen, Catherine Roussey, María Poveda-Villalon, Christophe de Vaulx, Jean-Pierre Chanet - March 1, 2020
Development Experience of a Context-Aware System for Smart Irrigation Using CASO and IRRIG Ontologies
Applied Sciences

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

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

Sébastien Salva, Elliott Blot - Jan. 2, 2020
Model generation of component-based systems
Software Quality Journal