Détails sur le séminaire


Video

27 septembre 2021 - 15h00
Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles) (HDR)
par Sylvain Boulmé de Verimag



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

Les tranparents de la presentation.


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

info visites 1880144