Détails sur le séminaire

Room 206 (2nd floor, badged access)
11 avril 2024 - 14h00
TBA
par Andrei Paskevich de Toccata (Inria Saclay) - IUT d'Orsay
invité(e) par Sylvain BOULME


Résumé : Exposé sur une nouvelle représentation intermédiaire en Why3 pour le calcul de WP.
Détails à venir.


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

info visites 3872528