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
06/01/201706/01/2017 adminNews

Certus’ ABB Robot demonstration nominated for “best robot video” in AAAI’s Video Competition

Mathieu Collet wrote his Master’s thesis with Certus in 2015, and during his stay he wrote a script for an industrial robot from ABB. Mathieu used constraint programming to create the movements of the robot, where theContinue reading

11/11/201611/11/2016 adminNews

Certus newsletter available

The newsletter covers the period since June 2016 with news on Certus’ scientific activities. The newsletter is written for partners and affiliates of Certus, however, it is now made available here for anyone with an interestContinue reading

17/10/201621/10/2016 adminAnnual user workshop, News

Annual User Workshop at Soria Moria

Certus usually hosts two annual workshops where the partners and the Certus team come together and plan future collaborations. On October 10th and 11th, Certus hosted the workshop of fall 2016 at Soria Moria, Oslo.Continue reading

14/09/201605/09/2017 adminNews

Mini symposium on healthcare registries at the Cancer Registry of Norway

On Tuesday, September 13th, The Cancer Registry of Norway organized a mini-symposium on “Utilizing Healthcare Registries for personalised cancer prevention and treatment” at the Jonas Einarsson Auditorium, Oslo Cancer Cluster Innovation Park. The symposium brought togetherContinue reading

01/09/201605/09/2017 adminEvents, News

Certus sponsors Crash Course on Machine Learning

August 22-25th 2016, Simula hosted a Crash Course in Machine Learning (ML), which Certus co-sponsored. ML as an Artificial Intelligence discipline takes a growing place in software development processes, and Certus researchers believe that moreContinue reading

Photo: ICSOFT-EA 2016
12/08/201619/08/2016 adminNews

Certus scientists receive Best Paper Award at ICSOFT-EA ’16

We present our congratulations to Arnaud Gotlieb, Dusica Marijan and Alexandre Pétillon from the Certus Centre and Simula, and Mats Carlsson from SICS in Sweden. This team of researchers has received the prestigious Best Paper Award atContinue reading

25/07/201625/07/2016 adminNews

Newsletter: Certus summarises the first half of 2016

2016 has been eventful for Certus so far. Jan-Christian Kerlefsen has become the new leader of the board, the Cancer Registry of Norway has joined the ranks as a new User Partner, and the centre’sContinue reading

15/05/201605/09/2017 adminNews

A User Partner Workshop with creative energy

April 28-29, 35 representatives from the partners and Certus joined forces at the offices of the Cancer Registry of Norway. The traditional seminar format was set aside for a proper workshop, with a number ofContinue reading

20/04/201605/09/2017 adminAnnual report

Certus Annual Report for 2015 is available

It’s been another eventful year for Certus. The Centre has been evaluated in the midway evaluation that all Centres for Research-based Innovation are subjected to, and Certus received a green light from the Research Council of Norway toContinue reading

29/01/201605/09/2017 adminNews

Jan-Christian Kerlefsen new Board Leader for the Certus Centre

Jan Christian Kerlefsen is Certus’ new board leader as of 01.01.2016. He takes over the postion from Professor Are Magnus Bruaset. (Photo: Certus/Bård Gudim. From left: Katrine Langset (Norwegian Customs), Bjørn Ove Olafsen (KM), Are MagnusContinue reading

Posts navigation

Older posts
Newer posts

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.