HIFI 2022 - Journée du GT HIFI du GDR GPL

Nous avons le plaisir de vous inviter à une journée de séminaire du groupe de travail HIFI du GDR GPL du CNRS, le mercredi 12 janvier 2022. Ce groupe de travail a pour objets les méthodes formelles et la programmation de systèmes critiques émergents. Par systèmes émergents, on entend les systèmes de plus en plus ouverts sur des environnements incertains, à temps continus ou basés sur de l’apprentissage de jeux de données difficilement prédictible.