Presis modellering og analyse (PMA)

Kurs våren 2008:
INF 3230/4230 - Formell modellering og analyse av kommuniserende systemer
INF 5906 - Utvalgte emner i statisk analyse

Seminarer våren 2008:
INF 5160 - Databehandling


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

Ledig stillinger:
PhD stilling (4 årig) + PhD stilling (3 årig).

Konferanse/Workshop arrangert av PMA:
Oktober 2007. NWPT'07. NWPT samlokaliseres med to nye workshop: en om formalisering av kontrakter for tjenester på Internett (FLACOS), og en om sikkerhet (NODES).