Skip to content

The Certus Centre for Software Validation and Verification

Home
About
Annual Reports
Partner Overview
Projects
Publications
Contact Us

The 2016 annual report for the Certus Centre is now available.

07/04/201705/09/2017 admin

The report summarises the scientific activities of the Centre during 2016.

Posted in Annual report

Post navigation

FightHPV won the Best Poster Award at Papillomavirus Conference 2017

Report from the 11th User Partner Workshop

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.