We are always looking forward to when we can invite our members for good discussions and create a venue for good networking. As the holidays approach we hope you can take the afternoon to spend with us and the fellow members.

Register here. 

Mer informasjon

More info and registration

WELCOME TO SEFM 2019!
The 17th edition of the International Conference on Software Engineering and Formal Methods will be held in Oslo Science Park, Norway on September 16 – 20, 2019.

SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

Important Dates
Abstract Submission: May 3, 2019
Paper Submission: May 10, 2019
Notification: June 25, 2019
Camera Ready: July 12, 2019
Registration (early): TBD

Please find information at the conference webpage

Join us the first Friday every month at Parken Bakeri in Forskningsparken!
This is a great opportunity to meet the Forskningsparken community.

There will be 3 minute pitches, coffee and boller.

Mer informasjon og påmelding

We invite you to an open day here at Oslo Science Park where you can meet and learn more about our innovative community. 
This is an opportunity to get to know some of our 250 ambitious companies located in this 55.000 m² large office space. There will be a full program with guided tours, talks and exhibiton. Join event here (free of charge)

WELCOME TO SEFM 2019!
The 17th edition of the International Conference on Software Engineering and Formal Methods will be held in Oslo Science Park, Norway on September 16 – 20, 2019.

SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

Important Dates
Abstract Submission: May 3, 2019
Paper Submission: May 10, 2019
Notification: June 25, 2019
Camera Ready: July 12, 2019
Registration (early): TBD

Please find information at the conference webpage

Mer informasjon

Oslo Universitetssykehus – OUS – har gjennom flere tiår opparbeidet seg internasjonalt anerkjente utprøvingsmiljø for legemidler og medisinsk utstyr. Dette er sykehusmiljø som har infrastruktur i form av lokaler, personale og utstyr, samt kompetanse og lang erfaring med ulike typer forskningssamarbeid med industri, foreløpig primært oppdragsstudier fra legemiddelfirma. Flere av disse miljøene søker aktivt nye prosjekter og samarbeidspartnere til sine enheter. Samtidig har norske selskap som utvikler medisinsk utstyr et behov og ønske om å samarbeide med norske utprøvingsmiljø, men rapporterer at det er utfordrende å finne frem til de rette miljøene.

Påmelding

Join us the first Friday every month at Parken Bakeri in Forskningsparken!
This is a great opportunity to meet the Forskningsparken community.

There will be 3 minute pitches, coffee and boller.

WELCOME TO SEFM 2019!
The 17th edition of the International Conference on Software Engineering and Formal Methods will be held in Oslo Science Park, Norway on September 16 – 20, 2019.

SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

Important Dates
Abstract Submission: May 3, 2019
Paper Submission: May 10, 2019
Notification: June 25, 2019
Camera Ready: July 12, 2019
Registration (early): TBD

Please find information at the conference webpage

WELCOME TO SEFM 2019!
The 17th edition of the International Conference on Software Engineering and Formal Methods will be held in Oslo Science Park, Norway on September 16 – 20, 2019.

SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

Important Dates
Abstract Submission: May 3, 2019
Paper Submission: May 10, 2019
Notification: June 25, 2019
Camera Ready: July 12, 2019
Registration (early): TBD

Please find information at the conference webpage