Presis modellering og analyse (PMA)

sneak preview of the upcoming new PMA web-pages

ny PMA plakat i stor format her

nytt EU FP7 prosjekt: HATS (fra våren 2009)

Kurs høsten 2009:
INF3110/4110 - Programmeringsspråk (undervises sammen med OMS-gruppen)
INF4140/9140 - Modeller for parallellitet
INF5130 - Utvalgte emner i omskrivningslogikk

Seminarer høsten 2009:
INF 5160 - Databehandling seminar

Oktober 2007:
PMA er utnevnt til ``Utviklingsmiljø'' (juni 07). Dette innebærer støtte bl.a. i form av stipendiatstillinger.

ledig stilling:
4 year associate professor position 7. Oktober. se her.
Postdoctocal research fellow, frist 11. Oktober. se her.

Ledig stillinger:
up-to 3 PhD positions + 2 post doc positions, starting from September eller senere.

Konferanse/Workshop arrangert av PMA:
24-25 September, 2009: Third Workshop on Formal Languages and Analysis of Contract-Oriented Software FLACOS'09 (Toledo, Spain).
November 2008: Second Workshop on Formal Languages and Analysis of Contract-Oriented Software FLACOS'08 (Malta).
9-10 Oktober, 2008: First Workshop on Formal Languages and Analysis of Contract-Oriented Software FLACOS'07 (Oslo, Norway).