IKTPLUSS-IKT og digital innovasjon

Petri Nets 2020 Conference Support

The aim of the conference is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in the areas of: * General topics of interest related to concurrency - Model checking ...

Awarded: NOK 99,999

Project Period: 2022-2022

Location: Vestland

FRIPRO-Fri prosjektstøtte

Enabling Highly Automated Cross-Organisational Workflow Planning

Automatisering av arbeidsflytplanlegging er en av de viktigste digitale transformasjonsaktivitetene. Å planlegge arbeidsflyt på tvers av organisasjoner krever kunnskap fra flere domener. I tillegg kreves det oversikt over hvordan disse arbeidsflytene samhandler med hverandre. Eksisterende datamas...

Awarded: NOK 8.0 mill.

Project Period: 2021-2026

Location: Vestland

IS-AUR-Samarb.progr. Norge Frankrike

Synchronous Languages meet Asynchronous Semantics

In the world of concurrent programs, futures are often used to synchronise asynchronous operations. In general, futures can be categorised as either implicit or explicit. With implicit futures, it is in general not possible to decide if a variable holds a future value or a concrete value in progr...

Awarded: NOK 0.10 mill.

Project Period: 2020-2023

Location: Vestland

IKTPLUSS-IKT og digital innovasjon

iFM'19 Conference Support

Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope wi...

Awarded: NOK 99,999

Project Period: 2019-2019

Location: Vestland