Présentation

Le Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS) est une Unité Mixte de Recherche (UMR 6158) en informatique, et plus généralement en Sciences et Technologies de l'Information et de la Communication (STIC).

(lire la suite)

Séminaires à venir

Eric PIETTE, Post-doctorant - DKE, Maastricht University - 7 mars 2019 13:00 - Salle du conseil
Une nouvelle approche au General Game Playing dirigée par les contraintes stochastiques


Pierre MARQUIS, Professeur - CRIL, Lens - 7 mars 2019 14:00 - Salle du conseil
Top-Down Knowledge Compilation of Decision-DNNF Representations

Soutenances de thèses

Dernières Publications

Elyes Lamine, Rémi Bastide, Marinette Bouet, Paul Gaborit, Didier Gourc, François Marmier, Hervé Pingaud, Michel Schneider, Farouk Toumani - 1 janvier 2019
Plas'O'Soins: An Interactive ICT Platform to Support Care Planning and Coordination within Home-Based Care
IRBM

Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch - 13 décembre 2018
Formally and Practically Verifying Flow Integrity Properties in Industrial Systems
Computers and Security

Chafik Samir, Ines Adouani - 1 mai 2019
Smooth Paths on Riemannian Manifolds with Applications to 3D Shape Space
Computational and Applied Mathematics

Henri-Alex Esbelin, Marin Gutan - 1 janvier 2019
Solving the membership problem for parabolic möbius monoids
Semigroup Forum

Sébastien Salva, Loukmen Regainia - 1 janvier 2019
An Approach for Guiding Developers in the Choice of Security Solutions and in the Generation of Concrete Test Cases
Software Quality Journal