Laboratory of Informatics, Modelling and Optimization of the Systems
Laboratory of Informatics, Modelling and Optimization of the Systems
Axis MAAD
Graphs, optimization, simulation, learning, ...
Axis SIC
Data, services, interoperability, wireless sensor networks
Axis ODPL
Combinatorial Optimization and Simulation with Discreet Events
Presentation
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)Job offers
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
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
Coming Seminars
|
Bruno GUILLON - MC LIMOS, Université Clermont Auvergne - June 4, 2020, 1 p.m. - Visio-conférence Recherche de chemin dans des grands graphes |
|
Last publications
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
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
Jean Connier, Haiying Zhou, Christophe de Vaulx, Jian-Jin Li, Hongling Shi, Philippe Vaslin, Kun Mean Hou - Jan. 1, 2020
Perception Assistance for the Visually Impaired Through Smart Objects: Concept, Implementation, and Experiment Scenario
IEEE Access
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade - Jan. 1, 2020
A Faster Cryptographer's Conspiracy Santa
Theoretical Computer Science
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon - Jan. 1, 2020
Computing AES related-key differential characteristics with constraint programming
Artificial Intelligence
Revisiting a theorem by Folkman on graph colouring
The Electronic Journal of Combinatorics
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
Jean Connier, Haiying Zhou, Christophe de Vaulx, Jian-Jin Li, Hongling Shi, Philippe Vaslin, Kun Mean Hou - Jan. 1, 2020
Perception Assistance for the Visually Impaired Through Smart Objects: Concept, Implementation, and Experiment Scenario
IEEE Access
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade - Jan. 1, 2020
A Faster Cryptographer's Conspiracy Santa
Theoretical Computer Science
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon - Jan. 1, 2020
Computing AES related-key differential characteristics with constraint programming
Artificial Intelligence