Date: Friday 23rd August Time: 13:15-14.00 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 first order formula)...