Aller au menu Aller au contenu
La généraliste du numérique
Informatique et Mathématiques appliquées
La généraliste du numérique

> L'école > Agenda > MDR

Conférences MDR

mdr
Conférences Midis De la Recherche (MDR) : 13h à 13h30 dans l’amphi A


 
3 octobre 2019






 
Karine Altisen, enseignant-chercheur
Laboratoire : Verimag
Page web




 
Titre : Preuves interactives d'algorithmes distribués
Notre équipe de recherche conçoit des algorithmes distribués - l'algorithmique des réseaux - et les analyse (conception, preuve formelle, simulation).  Dans cet exposé, je montrerai comment utiliser un assistant de preuve appelé Coq pour élaborer la preuve d'un algorithme distribué, l'assistant vérifiant interactivement chaque étape de la preuve. Nous nous intéresserons en particulier à un opérateur travaillant sur un flux d'éléments décrivant la sémantique du système distribué.
 
7 novembre 2019


 
Olivier Gaudoin, enseignant-chercheur
Laboratoire Jean Kuntzmann
Page web
 
Titre (provisoire) : Modélisation aléatoire et statistique pour la fiabilité des systèmes

 
5 décembre 2019

 
Matthieu Chabanas, Maître de conférences
Laboratoire TIMC-IMAG
 
Titre: Modélisation biomécanique et imagerie médicale pour le guidage chirurgical

 
6 février 2020



 
Wojciech Bienia, enseignant-chercheur
Laboratoire G-SCOP
Page web

 
Titre : Comment la Recherche abstraite devient Opérationnelle dans notre réalité quotidienne
Montrer quelques axes de recherche théorique de l’équipe Optimisation Combinatoire du laboratoire G-SCOP en mettant en phase les projets “appliqués” réalisés.
 
5 mars 2020

 
Frédéric Petrot
TIMA
 


 
2 avril 2020
 
Sonia Jimenez-Garcès, enseignant-chercheur
Laboratoire CERAG
Titre (provisoire) : Evaluation des actifs financiers et choix de portefeuille lorsque les investisseurs sont différemment informés




 

mise à jour le 30 septembre 2019

Grenoble INP Institut d'ingénierie Univ. Grenoble Alpes