C’est demain :
> Début du message réexpédié :
>
> *** merci de diffuser largement cette annonce ***
>
> Chers collègues,
>
> Nous sommes heureux de vous annoncer que le séminaire de Joao
> Marques-Silva (https://jpmarquessilva.github.io/), initialement prévu
> le 28/4, pourra a priori se tenir cette semaine.
>
> Lien vers la salle virtuelle: https://utc-fr.zoom.us/j/85054136221
>
> Les informations sur les séminaires se trouvent sur la page du GDR IA:
> https://www.gdria.fr/seminaire
>
> Date: le 5/5 à 11h
>
> 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.
>
> Nous tenons à remercier tous les GT qui nous ont fait remonter des
> propositions de séminaires, et tous les GT qui le feront.
>
> Au plaisir de vous « voir » bientôt.
>
> Nicolas et Sébastien (D.)
———————————————————————
Desinscription: envoyez un message a: bull-ia-unsubscribe@gdria.fr
Pour obtenir de l’aide, ecrivez a: bull-ia-help@gdria.fr