Séminaire de recherche en ligne « Méthodes formelles et mathématiques calculatoires » le mercredi 28 septembre 2022
L’IFIC vous invite dans le cadre des activités du réseau RIFIRO à participer gratuitement au séminaire de recherche en ligne sur le thème « Méthodes formelles et mathématiques calculatoires ».
Conférencier :
Le séminaire sera présenté en visioconférence par : Madame Assia Mahboubi, Directrice de Recherche Inria – équipe-projet Gallinette.
Résumé & mini-biographie :
Consultez le résumé et la mini-biographie via le lien suivant.
Date et heure :
Le séminaire aura lieu le mercredi 28 septembre 2022 à 16h00 (heure de Paris).
Participation :
Afin de rejoindre la conférence, connectez-vous via le lien suivant. Aucune inscription n'est requise.
Information et contact :
Pour plus d'informations, merci de nous contacter sur :
📧 Courriel : ific@auf.org
☎️ Tél : (+216) 71 781 174