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

7th User Partner Workshop at Lysebu

03/03/201505/09/2017 admin

The 7th User Partner Workshop in Certus will be organised at Lysebu on the 5th-6th of March. Follow this link 2015-03-05 UPW Agenda – Final to find the final version of the agenda.

 

lysebu-kk UtsiktLillevannSt_384_296_75_s_c1lysebu DSC_0007_1152_491_75_s_c1

Posted in Annual user workshop, News

Post navigation

Two new projects funded through the FRINATEK program
Stefano Di Alesio successfully defended his PhD

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.