2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Portefølje Naturvitenskap og teknologi ikon

Forskningssystemet

Portefølje Humaniora og samfunnsvitenskap ikon

Banebrytende forskning

Portefølje Samisk ikon

Samisk samfunn og kultur

Portefølje Demokrati, styring og fornyelse ikon

Demokrati og global utvikling

Portefølje Velferd, kultur og samfunn ikon

Velferd og utdanning

Portefølje Helse ikon

Helse

Portefølje Klima- og polarforskning ikon

Klima og miljø

Portefølje Landbasert mat, miljø og bioressurser ikon

Mat og bioressurser

Portefølje Energi, transport og lavutslipp ikon

Energi og transport

Portefølje Muliggjørende teknologier ikon

Muliggjørende teknologier

Portefølje Industri og tjenestenæringer ikon

Innovasjon

LTP2 Klima, miljø og miljøvennlig energi ikon

Klima, miljø og energi

LTP2 Samfunnssikkerhet og samhørighet ikon

Samfunnstryggleik og beredskap

LTP2 Fornyelse i offentlig sektor ikon

Velferdstjenester

Forsidebilde

Marin ikon

Petroleum og mineraler

LTP Hav ikon

Hav og kyst

LTP2 Muliggjørende og industrielle teknologier ikon

Mogleggjerande industrielle teknologiar

Tillit og fellesskap

LTP2 Utvikle fagmiljøer av fremragende kvalitet

Høg kvalitet og tilgjengeleg

LTP2 Styrket konkurransekraft og innovasjonsevne ikon

Sterkare konkurransekraft og innovasjonsevne

LTP3 Helse

Et innovativt næringsliv ikon

Styrket konkurransekraft og innovasjonsevne

Portefolje Petroleum Ikon

Portefølje Hav ikon

Portefølje Utdanning og kompetanse ikon

Portefølje Global utvikling og internasjonale relasjoner ikon

Portefølje Livsvitenskap ikon

Forsidebilde optimalisert

project-bank-technical

Muliggjørende teknologier bakgrunn

Marin bakgrunnsbilde

Statistikk

Prosjektbanken presenterer statistikk og informasjon om prosjekter med finansiering fra Forskningsrådet fra 2004. Statistikken er fordelt på blant annet tema, år, geografi og organisasjon. Prosjektbanken gir også detaljert informasjon om de enkelte prosjektene.

...eller se sammendrag og annen informasjon om prosjektene i utvalget ditt

Alle porteføljestyrer

En god beskrivelse av denne siden for søkemotoroptimalisering

Forside

Hvordan tildelingene fordeler seg på institusjoner, fylker, fagområder o.l....

Her er noen eksempler på søk du kan gjøre i Prosjektbanken

Alle langtidsplanmål

Veiledning: Hvordan bruke Prosjektbanken.no

Om Fritekstsøk

Ingen populærvitenskapelig framstilling tilgjengelig


Prosjektet med prosjektnummer {{project number}} ble ikke funnet

Teknisk beskrivelse

Oisann, her gikk noe galt. Kan du prøve å laste siden på nytt?  Dersom feilen vedvarer, vennligst kontakt oss.         

Se statistikk relatert til dette langtidsplanmålet

Se prosjekter relatert til dette langtidsplanmålet

knyttet til dette LTP-målet har blitt tildelt penger

har blitt tildelt til prosjekter knyttet til dette LTP-målet

har blitt tildelt til prosjekter knyttet til denne porteføljen

knyttet til denne porteføljen har blitt tildelt penger

Om Prosjektbanken

Kunnskapsdepartement

Nærings- og fiskerid

Diverse

Ukjent

Landbruks- og matdep

Klima- og miljødepar

Energidepartementet

Samferdselsdeparteme

Olje- og energidepar

Utenriksdepartemente

Helse- og omsorgsdep

Nærings- og handelsd

Utdannings- og forsk

Kommunal-og distrikt

Justis- og beredskap

Arbeids- og inkluder

Arbeids- og sosialde

Kommunal- og moderni

Forsvarsdepartemente

Barne- og familedepa

Kultur- og likestill

Finansinntekter

Fornyings-, administ

Fiskeri- og kystdepa

Barne- og likestilli

Finansdepartementet

Helsedepartementet

Digitaliserings- og 

Sosialdepartementet

Arbeids- og administ

Moderniseringsdepart

Teknologi

Samfunnsvitenskap

Matematikk og naturvitenskap

Medisin og helsefag

Landbruks- og fiskerifag

Humaniora

Annet

Oslo

Trøndelag - Trööndelage

Vestland

Akershus

Troms - Romsa - Tromssa

Rogaland

Ukjent Fylke

Agder

Innlandet

Nordland - Nordlánnda

Møre og Romsdal

Buskerud

Østfold

Vestfold

Telemark

Svalbard

Finnmark - Finnmárku - Finmarkku

LTP3 Styrket konkurransekraft og innovasjonsevne

LTP3 Et kunnskapsintensivt næringsliv i hele landet

LTP3 Innovasjon i stat og kommune

LTP3 Uttesting og kommersialisering av FoU

LTP3 Grunnbevilgninger og institusjonell støtte

LTP3 Høy kvalitet og tilgjengelighet

LTP3 Fagmiljøer og talenter

LTP3 Forskningsinfrastruktur

LTP3 Rettede internasjonaliseringstiltak

LTP3 Hav og kyst

LTP3 Marine bioressurser og havforvaltning

LTP3 Havteknologi og maritim innovasjon

LTP3 Petroleum og mineraler

LTP3 Klima, miljø og energi

LTP3 Miljøvennlig energi og lavutslippsløsninger

LTP3 Klima, polar og miljø

LTP3 Bioøkonomi og forvaltning

LTP3 Bærekraftige byregioner og transportsystemer

LTP3 Muliggjørende og industrielle teknologier

LTP3 IKT og digital transformasjon

LTP3 Nano-, bioteknologi og teknologikonvergens

LTP3 Tillit og fellesskap

LTP3 Demokrati, styring og forvaltning

LTP3 Velferdstjenester

LTP3 Utdanning og livslang læring

LTP3 Kultur, sivilsamfunn og medienes rolle

LTP3 Utenforskap, inkludering, kulturmøter og migrasjon

LTP3 Samfunnssikkerhet og beredskap

LTP3 Global utvikling, ulikhet, og demokratibygging

LTP3 Samfunnsikkerhet, sårbarhet og konflikt

UoH-sektor

Instituttsektor

Næringsliv

Helseforetak

Offentlig sektor

Øvrige

Ukjent Sektor

Utlandet

ukjent

Portefølje Forskningssystemet

Portefølje Banebrytende forskning

Portefølje Innovasjon

Portefølje Muliggjørende teknologier

Portefølje Energi og transport

Portefølje Mat og bioressurser

Portefølje Helse

Portefølje Klima og miljø

Portefølje Velferd og utdanning

Portefølje Demokrati og global utvikling

Portefølje Samisk samfunn og kultur

Programmer

F-INF-Naturvitenskap, informatikk

Modifications and Applications of Alternating-time Temporal Epistemic Logic

Tildelt: kr 1,6 mill.

Sammendrag

Budsjettformål:

F-INF-Naturvitenskap, informatikk

Finansieringskilder

Temaer og emner