Séminaire Philmath du 23 janvier 2023

Lourdes del Carmen González Huesca donnera une conférence sur le thème " Non-classical Epistemic Axioms for Computer-Aided Verification". La conférence aura lieu le lundi 23 janvier 2023 de 17h00 à 19h00 dans la salle de conférences de l'IHPST : 13, rue du Four, 75006 Paris (2ème étage).

Continuer la lectureSéminaire Philmath du 23 janvier 2023