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
Blog / News
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 Intelligenc...
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
SIRIUS Joins the Open Subsurface Data Universe
SIRIUS, on behalf of the University of Oslo, has joined the Open Group’s Open Subsurface Data Universe forum. This consortium of oil companies, vendors and ac...
10 May, 2019 / No comment
Daniel Lupp defends his PhD Thesis
Daniel P. Lupp defended his dissertation for the degree of PhD on 7th May 2019 The title of his thesis was“A Higher-Level View of Ontological Modeling: ...
10 May, 2019 / No comment
New Brochure for SIRIUS
A new four-page brochure is available for SIRIUS. You can download a copy of it from the Results and Downloads page or directly here. This brochure can printed out ...
08 April, 2019 / No comment
SIRIUS’ 2018 Annual Report is Published
The 2018 Annual Report for SIRIUS is published. This year we discuss our six research programs. These sharpen our focus on innovative computer science solutions to ...
01 April, 2019 / No comment