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
[H/F] Ingénieur.e logiciel - Développement Web / Python - Intégration de données - COVID-19

Eric BOURREAU, Chercheur - LIRMM - July 22, 2020, 11 a.m. - Amphi Garcia Résolutions de problèmes combinatoires sur machines quantiques

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

David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon - Jan. 1, 2020
Computing AES related-key differential characteristics with constraint programming
Artificial Intelligence

Sarra Dahmani, Xavier Boucher, Didier Gourc, Sophie Peillon, François Marmier - Jan. 1, 2020
Integrated approach for risk management in servitization decision-making process
Business Process Management Journal

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

Alain Quilliot, Antoine Sarbinowski, Hélène Toussaint - Jan. 7, 2020
Vehicle driven approaches for non preemptive vehicle relocation with integrated quality criterion in a vehicle sharing system
Annals of Operations 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