Seminar details

Room 206 (2nd floor, badged access)
4 April 2024 - 13h30
Abstract Interpreters: a Monadic Approach to Modular Verification
by Sébastien Michelland from LCIS (UGA)
invited by Sylvain BOULME


Abstract: TBA.
Presentation of the draft https://perso.ens-lyon.fr/yannick.zakowski/papers/itree-ai-draft.pdf


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3864542