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
Thomas Rolfsnes successfully defended his PhD on 1 September
On September 1st, 2017, Thomas Rolfsnes gave his trial lecture and defended his PhD thesis at Simula Research Laboratory. The trial lecture began at 10:15 in Simula’s “Storstua”, while the defense began at 13:15. TrialContinue 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.
The role of the Certus Centre in the evaluation of Simula 2016/2017
Simula Research Laboratory has in 2016/2017 been under evaluation from an international committee of experts set down by the Research Council of Norway. The evaluation panel put together a report, which can be found onContinue reading
Report from the 11th User Partner Workshop
The Certus User Partner Workshop took place during May 11 and 12, where Certus’ partners and host institution gathered at the facilities of Simula Research Laboratory. French design team OKONI organised the workshop, which consistedContinue reading
The 2016 annual report for the Certus Centre is now available.
The report summarises the scientific activities of the Centre during 2016.
FightHPV won the Best Poster Award at Papillomavirus Conference 2017
Sagar Sen from Certus and Simula, and Tomas Ruiz-Lopez, Mari Nygård, and Elisabeth Jackobsen from the Cancer Registry of Norway won the Best Poster Award at the International Papillomavirus Conference 2017 in Cape Town last week. The posterContinue reading
Visit by the Certus Scientific Advisory Board
On Dec. 19-20, 2016, Certus was visited by its Scientific Advisory Board. The visit was organized at Bryne, in ABB Robotics’ facilities. During the first day, the technical programme included a visit of the robotContinue reading