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
10/01/201910/01/2019 Tom AtkinsonNews

Certus participates in the AI4EU project

The AI4EU project officially starts this month, with a kick-off meeting among the partners in Barcelona today (10 January): AI4EU brings together 79 top research institutes, SMEs and large enterprises in 21 countries to build a focal pointContinue reading

19/11/201819/11/2018 Tom AtkinsonEvents, News

Certus researchers involved in arranging the first IEEE AI Testing Conference

Certus researchers are strongly engaged into the organization of the first IEEE AI Testing Conference, to be held in San Francisco, USA, from 4-9 April, 2019 . For more information about the conference, please visit: http://www.ieeeaitests.com/index.html

19/11/2018 Tom AtkinsonNews

Certus Researchers receive two IKTPLUSS grants with a total of 34 000 000,- NOK from the Research Council of Norway

Certus researchers have been successful in attracting innovative projects from the last IKTPLUSS programme on reducing digital vulnerabilities. Two projects, led by Certus project leaders were granted in the programme, namely TSAR (led by SeniorContinue reading

19/11/201819/11/2018 Tom AtkinsonNews

Certus 13th User Partner Workshop

On Thursday 11th of October, Certus organized its 13th User Partner Workshop at Simula. The event gathered more than 25 participants. The program of the workshop featured a keynote speech given by Nadjib Lazaar from UniversityContinue reading

19/09/201819/09/2018 Tom AtkinsonNews

Certus participates at NDC Techtown

NDC TechTown is an annual developer conference in Kongsberg, Norway, emphasising embedded programming, security and testing. This years’ speaker lineup included widely influential figures like Bjarne Stroustrup (creator of the C++ programming language) and Michael Kerrisk (maintainer of theContinue reading

04/09/201804/09/2018 Tom AtkinsonNews

Certus partners receives EU funding for research

On 10 Aug. 2018, the Certus administration was notified of the success of the AI4EU proposal, which was submitted to the European Commission for funding during spring 2018. The AI4EU project will gather 81 partnersContinue reading

5th International Workshop on Software Engineering Research and Industrial Practice
24/08/2018 Tom AtkinsonNews

Dusica Marijan and Sagar Sen organize the 5th International Workshop on Software Engineering Research and Industrial Practice at ICSE 2018

Certus scientists Dusica Marijan and Sagar Sen together with Rakesh Shukla, Markus Borg, and Ye Yang, organize the 5th International Workshop on Software Engineering Research and Industrial Practice, held in conjunction with International Conference on Software EngineeringContinue reading

18/04/201818/04/2018 adminUncategorized

Arnaud Gotlieb presents Certus at the 10th French National Days on Software Testing

The French National Days on Software Testing is the largest event for software test professionals in France, attended by more than 1200 participants. Dr. Gotlieb’s keynote talk was entitled “Artificial Intelligence in Software Testing: An Overview”.Continue reading

05/04/2018 adminUncategorized

The Certus 2017 Annual Report is now ready.

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

17/01/2018 adminUncategorized

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

The event will take place in Klasserommet@Simula at 11:00, January 18. Abstract From ten years of working on analysing the characteristics of large open source software repositories, we draw some lessons on the key properties we needContinue reading

Posts navigation

Older posts

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.