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
Category: News
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
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
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
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
Certus’ 12th User Partner Workshop
On November 23- 24, the Certus Centre hosted its 12th annual User Partner workshop. The objective of the workshops is to provide an update from the partners on recent activity in the Centre, and toContinue reading
Certus presence at top venues for Artificial Intelligence and Constraint Programming
Certus researchers have presented papers at the International Joint Conference on Artificial Intelligence (IJCAI’17) and The International Conference on Principles and Practice of Constraint Programming (CP’17), which are the premier venues in Artificial Intelligence andContinue reading
Certus leader Arnaud Gotlieb co-organises CSTVA workshop in Melbourne, Australia
The eight edition of the CSTVA workshop (Constraint Solvers in Testing, Verification and Analysis) was successfully held in Melbourne, Australia, on Aug. 28th, 2017. The workshop program included several invited talks on various topics rangingContinue reading
Leon Moonen co-organises the Second International Workshop on Technical Debt Analytics
Leon Moonen, a Senior Research Scientist with Certus and Simula, is co-organizing the Second International Workshop on Technical Debt Analytics. The workshop will be held in conjunction with the 24rd Asia-Pacific Software Engineering Conference (APSEC 2017).Continue reading
The Certus newsletter is available
The Certus newsletter covers the activity in the Certus centre between January and June 2017. Read the full newsletter for an overview of the progress so far in 2017.