SIRIUS is once again heavily involved in the November Conference in Rio de Janeiro. This year the event is virtual, with a plenary on 9th November 2020 and parallel sessions on various days in October, November and December 2020. David Cameron is chairman of the program committee for the conference.

SIRIUS is also co-organizer of the session on Digitalization and Autonomy on 10th November 2020. Geir Horn and Marta Rozanska will be presenting their work in this session.

For more information, see the Innovation Norway website:

https://www.innovasjonnorge.no/en/start-page/norway-brazil-weeks/program/

The post Eighth November Conference on Norwegian-Brazilian Energy Research appeared first on Sirius.

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 researcher at SIRIUS, will present a short introduction about SMT (a technique for deciding the satisfiability of properties expressed as of qualifier-free first order formula) and a brief explanation how to use SMT in problem solving.

Satisfiable Modulo Theories is the problem of deciding the satisfiability of qualifier-free first order formula with respect to some decidable theories. Many efficient SMT solvers were able to handle optimisation problems with up to thousands Boolean/rational variables. It would be a great benefit to exploit the advantage of SMT solvers in problem solving and optimising. This talk gives a short introduction about SMT and a brief explanation how to use SMT in problem solving.

Chi Mai Nguyen is a postdoctoral researcher at the SIRUS centre, Department of Informatics, University of Oslo. She obtained her Master  degree in Theoretical Computer Science at Aalto University, in 2012. In April 2017, she received her PhD degree at University of Trento with the thesis entitled “Efficient Modelling and Reasoning with Constrained Goal Models”. Her work mainly focuses on formal verification, model checking, and applying automated reasoning techniques (mostly SAT and SMT) to goal models. She is a member of the Analysis of Complex Systems research program and will be working in the Integrated Digital Planning beacon.

The post Seminar August 23 2019: SAT- and SMT-based automated reasoning appeared first on Sirius.

The second day started with presentations from two new partners: Aibel and SINTEF. This was followed by research keynotes by Martin G. Skjæveland, who presented the Ontology Engineering research program, and Geir Horn, leader of the Scalable Computing program, who presented the Melodic EU project and its linkages to SIRIUS. The meeting concluded with a poster session highlighting our research programs and individual Ph.D. projects.

The business meeting held on the afternoon of the 21st approved two new partners in SIRIUS: SINTEF Digital and Aker Solutions.

The post SIRIUS General Assembly held 21-22 May 2019 appeared first on Sirius.

The post Article in Titan on SIRIUS Mentoring Program appeared first on Sirius.

We at DataScience@UiO are a team of PhD students and senior researchers from the Department of Mathematics and the Department of Informatics who have expertise in advanced data analytics, such as statistical modeling, machine learning algorithms, formal reasoning, data access etc.  We provide 1 to 2 hours of free face-to-face consultation for all employees (including PhD students) here at the University of Oslo

Click the link below for more details!

http://www.mn.uio.no/english/research/about/centre-focus/innovation/data-science/advice/

The post Data Science Advice for University of Oslo Employees and PhD Students appeared first on Sirius.

Masters’ Projects with Exchange to Brazil

SIRIUS has received funding from SiU for exchange of Masters students to Rio de Janeiro and Porto Alegre. These projects are available for students in Geosciences and Informatics at the University of Oslo. Read more on https://sirius-labs.no/masters-projects-with-internships-and-research-stays-in-brazil/

Masters’ Projects with SIRIUS Partners

SIRIUS can arrange master’s projects that involve collaboration with the SIRIUS partner companies. We will announce the projects available from each partner as they are arranged.

Masters’ Projects in Fundamental Topics and with other Companies

SIRIUS also offers projects in fundamental topics and projects with companies that collaborate with our researchers while not being partners in the centre. You can see this list (in Norwegian) at http://www.mn.uio.no/ifi/studier/masteroppgaver/sirius/.

The post SIRIUS Masters’ Projects 2018-2020 and 2019-2021 appeared first on Sirius.