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
Lecturer position 0073 IUT Clermont / Limos
Lecturer position 0248 IUT Montluçon / Limos
Lecturer position 1236 Isima / Limos
Lecturer position Sigma / Limos
Competition for a Senior Lecturer in 'Data Science and Statistical Learning'
Junior Professor Chair - Artificial Intelligence - Isima / Limos
Thesis : Ultra Flexible Facility Layout Optimization
Lecturer position 0248 IUT Montluçon / Limos
Lecturer position 1236 Isima / Limos
Lecturer position Sigma / Limos
Competition for a Senior Lecturer in 'Data Science and Statistical Learning'
Junior Professor Chair - Artificial Intelligence - Isima / Limos
Thesis : Ultra Flexible Facility Layout Optimization
Keynotes à venir
Shui Yu - University of Technology of Sidney - June 19, 2023, 1:30 p.m. - Amphi 3 - Pôle commun Digital Privacy: Status, Challenges, and Directions |
![]() |
Conferences to come
![]() |
June 26, 2023 to June 30, 2023 - Clermont-Ferrand - Polyhedra and Combinatorial Optimization Days |
Coming Seminars
Yann LE DU, Ingénieur de recherche CNRS - None - June 13, 2023, 2:30 p.m. - Salle C101 (salle du conseil) L'ingénierie de recherche polyvalente avec le ML ⋂ Modélisation Mathématique ⋂ Statistical Learning |
Mourad BAIOU, Directeur de recherche CNRS - LIMOS - June 22, 2023, 1:30 p.m. - Amphi 3 - Pôle commun Titre a venir |
Last publications
Jerry Lonlac, Engelbert Mephu Nguifo - Feb. 28, 2023
Top-k Learned Clauses for Modern SAT Solvers
International Journal on Artificial Intelligence Tools
Piotr Wiecek, Oussama Habachi, Majed Haddad - Feb. 7, 2023
To lie or not to lie in non-cooperative user-centric networks: Is lying worth it?
IEEE Transactions on Network and Service Management
Arun Kumar Das, Sandip Das, Guilherme da Fonseca, Yan Gerard, Bastien Rivier - April 1, 2023
Complexity results on untangling red-blue matchings
Computational Geometry
Loïc Crombez, Guilherme da Fonseca, Florian Fontan, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso, Benjamin Momège, Jack Spalding-Jamieson, Brandon Zhang, da Wei Zheng - March 27, 2023
Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring
ACM Journal of Experimental Algorithmics
Thiago Alves de Queiroz, Manuel Iori, Arthur Kramer, Yong-Hong Kuo - March 1, 2023
Dynamic Scheduling of Patients in Emergency Departments
European Journal of Operational Research
Top-k Learned Clauses for Modern SAT Solvers
International Journal on Artificial Intelligence Tools
Piotr Wiecek, Oussama Habachi, Majed Haddad - Feb. 7, 2023
To lie or not to lie in non-cooperative user-centric networks: Is lying worth it?
IEEE Transactions on Network and Service Management
Arun Kumar Das, Sandip Das, Guilherme da Fonseca, Yan Gerard, Bastien Rivier - April 1, 2023
Complexity results on untangling red-blue matchings
Computational Geometry
Loïc Crombez, Guilherme da Fonseca, Florian Fontan, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso, Benjamin Momège, Jack Spalding-Jamieson, Brandon Zhang, da Wei Zheng - March 27, 2023
Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring
ACM Journal of Experimental Algorithmics
Thiago Alves de Queiroz, Manuel Iori, Arthur Kramer, Yong-Hong Kuo - March 1, 2023
Dynamic Scheduling of Patients in Emergency Departments
European Journal of Operational Research