nfr-logonfr-logo
PROSJEKTBANKEN
Bytt til Norsk språk
Se statistikken
Se prosjektene

0 antall prosjekter

Dato fra ny til gammel

FLINSTUD-Forskerlinjen/Studentstipend

Rammebevilgning til forskerlinjepilot i informatikk, UiO

Fra høsten 2018 opprettes forskerlinjepiloter i følgende fag og ved følgende forskningsorganisasjoner: • Informatikk (Universitetet i Oslo) • Rettsvitenskap (Universitetet i Bergen) (oppstart i 2017) • Ingeniørvitenskap, utvalgte sivilingeniørfag (Norges teknisk-naturvitenskapelige universitet) •...

Tildelt: kr 1,8 mill.

Prosjektperiode: 2018-2024

Sted: Oslo

IKTPLUSS-IKT og digital innovasjon

ESOCC 2017: 6th European Conference on Service-Oriented and Cloud Computing

The ESOCC scientific conference is organized approximately every 12 months and gathers 80-150 participants from all over the world to share their knowledge and latest research on services and cloud computing. ESOCC is the premier conference on advances in the state of the art and practice of serv...

Tildelt: kr 49 999

Prosjektperiode: 2017-2018

Sted: Oslo

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Semantics-Based Analyses for Cloud-Aware Computing

Sky-basert programvare har blitt en standard driftsmodell for IKT infrastruktur i industrien på grunn av attraktive forretningsdrivere. I skyen er mengden med tilgjengelige ressurser elastisk i stedet for å være gitt på forhånd. Skyen tilbyr en fleksibilitet som lar oss levere nye tjenester på ma...

Tildelt: kr 9,0 mill.

Prosjektperiode: 2015-2020

Sted: Oslo

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Organizing the 20th International Symposium on Formal Methods (FM 2015)

The FM scientific symposium is organized approximately every 18 months and gathers 200-300 participants from all over the world to share their knowledge and latest research on software engineering and software verification using formal methods. Formal met hods provide tools and techniques to desi...

Tildelt: kr 0,25 mill.

Prosjektperiode: 2015-2015

Sted: Oslo

IS-DAAD-Forskerutveksl. Norge-Tyskland

SMT4ABS: Combining SMT-Solving with Type Checking for Real-Time ABS Programs

This project brings together researchers from the fields of program analysis and SMT-solving, to exploit the power of modern SMT-solving technologies for the analysis of real-time software systems. We are interested in compositional verification techniqu es to prove a fundamental form of service...

Tildelt: kr 48 741

Prosjektperiode: 2015-2017

Sted: Oslo

VERDIKT-Kjernekomp.og verdiskaping IKT

Active Behavioral Interfaces for Seamless Network Integration

The project addresses basic challenges in seamless integration of software solutions for heterogeneous net, by proposing a meta-infrastructure for environment awareness based on a novel notion of Active Behavioral Interfaces. This notion of active behavi oral interfaces will enable software comp...

Tildelt: kr 6,2 mill.

Prosjektperiode: 2006-2012

Sted: Oslo

1