Professor Alexandra Mendes will give the next DEI talk titled “Interactive theorem proving and software verification”, on December 5, at 1.30 p.m.
Venue: Alameda Campus – room 0.19, Computer Science building II & Taguspark campus – room 2N1.5 (videoconference).
