Ifi research: Precise modeling and analysis (PMA) Norsk
People | Research | Teaching | Master thesis
sneak preview of the upcoming new PMA web-pages
new PMA poster in print formats here
new EU FP7 project: HATS (starting spring 2009)
Courses fall 2009:
INF3110/4110 - Programming languages (taught with the OMS group)
INF4140/9140 - Models of concurrency
INF5130 - Selected topics of rewriting logic
Seminars fall 2009:
INF 5160 - computer science seminar (selected topics)
4 year associate professor position, application deadline 7. October. For more information, see here here.
Postdoctocal research fellow, application deadline 11. October. For more information, see here here.
Award and grant:
Summer 2007: The PMA group has been strategically selected by the department and the university in recognition of its research initiatives. PMA has thus been awarded the status of special advancement and promotion (``Utviklingsmiljø'').
Conferences/Workshops arranged by 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 October, 2008: First Workshop on Formal Languages and Analysis of Contract-Oriented Software FLACOS'07 (Oslo, Norway).
The research group works with the following topics:
The group was initiated by professor Ole-Johan Dahl (1931 - 2002).