Skip to content

The Certus Centre for Software Validation and Verification

Home
Annual Reports
Partner Overview
Projects
About
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 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
Certus’ 12th User Partner Workshop 04/12/2017
Talk at NDC Techtown: Effective test scrubbing with machine learning and Python 24/11/2017
Certus presence at top venues for Artificial Intelligence and Constraint Programming 07/09/2017
Certus leader Arnaud Gotlieb co-organises CSTVA workshop in Melbourne, Australia 05/09/2017

Proudly powered by WordPress | Theme: Oria by JustFreeThemes.