Author: David Cameron

The ISoLA 2016 conference is the 7th International Symposium on Leveraging Applications of Formal, Methods, Verification and Validation. Ingrid Chieh Yu from SIRIUS is on the programme committee. Details of the conference can be found at http://www.isola-conference.org/isola2016/index.html. Ingrid is also organizing the track Variability modeling for scalable software evolution ICT is...

SIRIUS has one to two vacant positions for a PhD Fellow in Formal Methods. For more information check the job advertisement at http://uio.easycruit.com/vacancy/1695249/64290?iso=no. Deadline for applications is 16th September....

The SIRIUS centre is a full member of the Big Data Value Association (BDVA). The BDVA is a European Private-Public Partnership organisation that works with the European Commission to identify research and innovation needs in the area of big data. SIRIUS' membership is on behalf...

SIRIUS is contributing to and participating in the Optique Project Summit on 15th September, hosted by the The University of Oxford. The summit will review the EU Project Optique's claim to bring about a paradigm shift for data access, by providing a semantic end-to-end connection between users...

SIRIUS will be participating at the SPE Intelligent Energy Conference in Aberdeen 6th-8th September 2016. A paper will be presented on the use of the products from the Optique project to improve the effectiveness of data access in Statoil's exploration department. The paper, entitled ‘Optique: Simple, Oil &...

The European Data Forum was held in Eindhoven, The Netherlands, at the end of June 2016. SIRIUS was represented at the conference and the Optique project was a gold sponsor. The theme of the conference was "Scaling up the European Data Economy". The following observations can be...

Welcome to the formal opening of the SIRIUS and BigInsight centers by Minister of Trade and Industry, Monica Mæland. The event continues with an opening seminar for SIRIUS. Read more on the UiO webpage...