Date: Friday 23rd August Time: 14:15-15.00 NB New Time! Place: SIRIUS meeting room (8459). 8th Floor, Ole-Johan Dahls hus. Chi Mai Nguyen, our new postdoctoral researcher at SIRIUS, will present a short introduction about SMT (a technique for deciding the satisfiability of properties expressed as of qualifier-free...