Skip to content

The Certus Centre for Software Validation and Verification

Home
About
Annual Reports
Partner Overview
Projects
Publications
Contact Us

Registration is now open for HISS 2015

29/04/201505/09/2017 admin

Registration is now open for the one day High Integrity Systems Symposium. Go to the event’s website to read more.

Posted in News

Post navigation

Certus to co-host the High Integrity Systems Symposium in June

Funded through the Fulbright-programme, Prof. David Binkley to visit Certus

Certus news

Netflix created and deployed a tool inspired by Certus research 15/11/2019
Talk on Applied Machine Learning, by Yongqi Dong 20/06/2019
Dusica Marijan organizes the 6th International Workshop on Software Engineering Research and Industrial Practice at ICSE 2019 20/06/2019
Certus researcher participated in ICSE in Montreal 14/06/2019
Certus hosts NordConsNet Workshop 2019 27/05/2019
Certus researchers participate at the 2nd AI Night in Paris 29/04/2019
Successful kickoff of recently launched RCN IKTPLUSS project T-SAR 29/04/2019
Certus researcher Dusica Marijan was awarded a Young Talent FRINATEK Grant for the T3AS project 12/03/2019
Certus participates in the AI4EU project 10/01/2019
Certus researchers involved in arranging the first IEEE AI Testing Conference 19/11/2018

Proudly powered by WordPress | Theme: Oria by JustFreeThemes.