16 Aug

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...

13:01 / Education / News / Seminars
08 Apr

A new four-page brochure is available for SIRIUS. You can download a copy of it from the Results and Downloads page or directly here. This brochure can printed out in booklet form so that you can produce an A5 flyer. We are are also printing...

09:29 / News