Séminaires Cédric

Le prochain séminaire Cédric, organisé par l’axe 1, aura lieu le jeudi 11 février à 14h. Informations sur le programme à venir.

Deux exposés: Armaël Guéneau: « How can we formally verify (using a proof assistant) that a program is not only functionally correct, but also has the right asymptotic complexity? », et Chaima Zammali, ATER à l’équipe LAETITIA: « Robust state estimation for switched systems: Application to fault detection ».

L’axe « Science des données » du Cédric propose un séminaire avec deux exposés: « Physics aware explainable AI for Earth Observation », par Mihai Datcu, et « An Overview on Music Information Retrieval » par Francesco Foscarin, doctorant au Cédric

Deux exposés seront proposés. Antonio Chella, professeur à l’Université de Palerme: « Machine consciousness and creativity in human-robot dance », et Wesley da Silva Coelho, doctorant au Cédric (équipe ROC): « On the impact of novel function mapping, sharing policies, and split settings in network slice design »