Annual report for 2019 Available
The annual report for 2019 is now available for reading and download. FlipHTML book for reading PDF Document for Downloading...
03 July, 2020 / No comment
Blog / News
Declarative AI 2020
Declarative AI 2020: Rules, Reasoning, Decisions and Explanations https://2020.declarativeai.net 24 June – 1 July 2020 Oslo, Norway Welcome to Declarative AI ...
12 February, 2020 / No comment
Robert Bosch GmbH Becomes New SIRIUS partner
SIRIUS is continuing to grow as companies in the oil and gas supply chain see that our research and innovation is relevant to their businesses. The latest company t...
12 February, 2020 / No comment
Best Scientific Paper at NIK 2019 Conference
SIRIUS researchers won the Best Scientific Paper award at the annual NIK Conference in Narvik on 26th November 2019 The paper that won the award was called “G...
27 November, 2019 / No comment
SIRIUS Mid-Term Evaluation Successful.
We received a letter from the Research Council on 9th September 2019, This told us that the Board of the Research Council had received the report on the mid-term ev...
31 October, 2019 / No comment
Workshop on Formal Methods And Artificial Intelligence in Logistics: Bergen 2nd December
SIRIUS researchers Rudi Schlatte and Violet Ka I Pun are co-organisers, with the University of Lübeck, of a Workshop on Formal Methods and Artificial Intelli...
11 October, 2019 / No comment
Seminar August 23 2019: SAT- and SMT-based automated reasoning
Date: Friday 23rd August Time: 14:15-15.00 NB New Time! Place: SIRIUS meeting room (8459). 8th Floor, Ole-Johan Dahls hus. Chi Mai Nguyen, our new postdoctoral rese...
16 August, 2019 / No comment
SIRIUS Hosts Description Logics Workshop
SIRIUS and the University of Oslo hosted the 32nd International Workshop on Description Logics on the 18-21 June 2019. This workshop is the major annual event of th...
13 August, 2019 / No comment
Breakfast seminar: Transforming Maintenance through Data Science and Data Risk Assessment Tool for Industry, Monday 24th June 2019
What are the implications of data science for maintenance? Can I safely share my industrial data with academics? The SIRIUS Centre at the University of Oslo and Ene...
11 June, 2019 / No comment
SIRIUS General Assembly held 21-22 May 2019
SIRIUS holds a meeting of its General Assembly twice a year, in May and November. The meeting brings together the academic and industrial partners in the centre for...
29 May, 2019 / No comment