Détails sur le séminaire

Room 206 (2nd floor, badged access)
27 septembre 2021 - 15h00
Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles) (HDR)
Sylvain Boulmé de Verimag

Abstract: See abstract, jury details, and pdf on http://www-verimag.imag.fr/~boulme/hdr.html

The defense will take place in hybrid mode. Remote connection details will be given (probably just before the defense) directly on http://www-verimag.imag.fr/~boulme/hdr.html

Contact | Plan du site | Site réalisé avec SPIP 3.1.15 + AHUNTSIC [CC License]

info visites 1774578