Skip to content
The Certus Centre for Software Validation and Verification

The Certus Centre for Software Validation and Verification

  • Home
  • About
  • Annual Reports
  • Partner Overview
  • Projects
  • Publications
  • Contact Us

The Certus 2017 Annual Report is now ready.

05/04/2018 admin

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

Posted in Uncategorized

Post navigation

On January 18 Roberto Di Cosmo will give a talk on “What would you do with billions of source code files? News from Software Heritage”.
Arnaud Gotlieb presents Certus at the 10th French National Days on Software Testing

Certus news

  • Certus participates in the AI4EU project 10/01/2019
  • Certus researchers involved in arranging the first IEEE AI Testing Conference 19/11/2018
  • Certus Researchers receive two IKTPLUSS grants with a total of 34 000 000,- NOK from the Research Council of Norway 19/11/2018
  • Certus 13th User Partner Workshop 19/11/2018
  • Certus participates at NDC Techtown 19/09/2018
  • Certus partners receives EU funding for research 04/09/2018
  • Dusica Marijan and Sagar Sen organize the 5th International Workshop on Software Engineering Research and Industrial Practice at ICSE 2018 24/08/2018
  • Arnaud Gotlieb presents Certus at the 10th French National Days on Software Testing 18/04/2018
  • The Certus 2017 Annual Report is now ready. 05/04/2018
  • On January 18 Roberto Di Cosmo will give a talk on “What would you do with billions of source code files? News from Software Heritage”. 17/01/2018
Proudly powered by WordPress | Theme: Oria by JustFreeThemes.