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

Presentations from the fifth UPW

10/04/2014 admin

The fifth Certus UPW took place on the 20th and 21st of March 2014. Presentations from the UPW may be found below.

TITAN UPW March Experience

Group Discussion Points Proposal

Industry-Research Collaboration

Certus Testing Lab

 

Some results from the group work can be found here:

Exit_Strategy

Group B – Day 1 – summary

Group C upw2014

Strategies for Increasing the International Profile of CERTUS

 

Posted in UncategorizedTagged intranet

Post navigation

ABB Robotics joins Certus
UTP Standard Submission

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.