Séminaires Séminaires du GDR IA

Nous sommes heureux de vous annoncer le lancement des séminaires
mensuels du GDR IA, qui verront intervenir chaque mois un orateur sur
un sujet différent, proposés par les groupes de travail du GDR ou les
membres du comité scientifique.

Le but de ces exposés est de mettre en lumière, au sein d’un exposé
accessible à la plus grande partie de la communauté, les domaines
variés couverts par le GDR et ses activités. Si la langue des slides
et du discours sont laissés au choix de l’orateur, notre préconisation
par défaut sont des slides en anglais avec le libre choix de la langue
utilisée.

Liste des séminaires:

 

07/04/21 – 11h : Loïc Paulevé

Titre: Symbolic learning of ensembles of Boolean networks predictive for cell
fate decision

Résumé: In this talk, I’ll give a global overview of challenges related to the
learning of dynamical models of cellular differentiation processes.
I’ll present on-going work mixing formal methods for modelling dynamical
systems and model synthesis from constraints on expected emerging
behaviors. This will be illustrated in the scope of the synthesis and
analysis of ensembles of Boolean automata networks using Answer-Set
Programming from data relating to the structure of the network and
observations of the system.

28/04/21 : Joao Marques-Silva

Titre: Formal Reasoning Methods in Explainable AI

Résumé: The forecasted applications of machine learning (ML) in safety
critical applications hinge on systems that are robust in their
operation and that can be trusted. This talk overviews recent efforts
on applying automated reasoning tools in explaining non-interpretable
(black-box) ML models. Moreover, the talk details the computation of
rigorous explanations of black-box models, and how these serve for
assessing the quality of widely used heuristic explanation approaches.
The talk also covers important properties of rigorous explanations,
namely duality properties between different kinds of explanation.
Finally, the talk briefly overviews ongoing work on mapping tractable
explainability.

26/05/21 : Anne Siegel

Titre: Modelling unconventional biological systems:
dynamical systems and/or reasoning?

Résumé: A venir