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)

PR 0841 Institut d’Informatique ISIMA
MCF 0719 Institut d’Informatique ISIMA
MCF 0005 IUT Aubière
MCF 0909 IUT Aubière
MCF 1077 IUT d’Allier
Thèse : Design and Verification of Security Protocols for Heteregeneous 5G IoT Devices

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

15th TAROT Summer School 2019 on Software Testing, Verification & Validation

ZHOU Peng - 23 mars 2019 00:00 - HUAT, Wuhan - Chine Research on architecture and self-management strategies design for dependable cyber physical system

Jinpeng Wang, Gérard Chalhoub - 2 janvier 2019
Mobility support enhancement for RPL with multiple sinks
Annals of Telecommunications - annales des télécommunications

Alexandre Bazin, Didier Debroas, Engelbert Mephu Nguifo - 5 décembre 2018
A De Novo Robust Clustering Approach for Amplicon-Based Sequence Data
Journal of Computational Biology

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

Nicolas Spatola, Clément Belletier, Pierre Chausse, Maria Augustinova, Alice Normand, Vincent Barra, Ludovic Ferrand, Pascal Huguet - 18 janvier 2019
Improved Cognitive Control in Presence of Anthropomorphized Robots
International Journal of Social Robotics

Simon Carladous, Jean-Marc Tacnet, Mireille Batton-Hubert, Jean Dezert, Olivier Marco - 1 janvier 2019
Managing protection in torrential mountain watersheds: A new conceptual integrated decision-aiding framework
Land Use Policy