29. august 1996

Tilstede: Knut Liestøl, Ragnar Normann, Bjørn Kirkerud, Øystein Gran Larsen, Pål Sørgaard, Bjørn Skjellaug, Henning Maagerud, Ståle Schumacher, Andreas Dobloug.
For administrasjonen møtte: Elisabeth Hurlen, Narve Trædal, Inger Ann Faye.

Nytt varamedlem til styret, Bjørn Skjellaug, ble ønsket velkommen.

Sak 1. Referatsaker

Den oppførte referatsaken ble tatt til etterretning. I tillegg ble følgende sak referert:

* Sverre Spurkland har sagt opp sin stilling som professor II med virkning fra 1.9.96.

Sak 2. Professorat i bildebehandling. Forslag til bedømmelseskomité

Forslag til komité forelå til behandling. Det er 4 søkere til stillingen. Bestyrer gjorde rede for forslaget:

*Professor Gunilla Borgefors, Centre for Image analyses, Uppsala
*Professor Knut Conradsen, Danmarks Tekniske Universitet, Lyngby
*Professor Erik Granum, Aalborg Universitet, Aalborg

og med professor Sverre Holm som administrerende medlem.

Styret sluttet seg til forslaget og ga bestyrer fullmakt til å utforme begrunnelsen.

Sak 3. Forlenget tilsetting som førsteamanuensis i 1/5 stilling

Styret anbefaler forlenget tilsetting av Trond Sæther som førsteamanuensis i 1/5 stilling for en ny treårsperiode gjeldende fra 13. september 1996.

Senere i semesteret vil styret ta en generell gjennomgang av alle II-tilsetningene.

Sak 4. Søknad om sabbatsår og garanti for reiseutgifter

Søknad fra Jens Kaasbøll om sabbatsår og reisedekning til Australia i 1997 forelå til behandling.

Styret finner det rimelig å bidra med midler til ansatte som har sabbatsår. Styret anbefaler at inntil kr 75.000 av instituttets Forskningsrådsbevilgning til internasjonalisering reserveres til støtte til sabbatsår i 1997.

Sak 5. Søknad fra digitalteknikk om økonomisk støtte til gruppetur

Styret kunne ikke innvilge søknaden i dens opprinnelige form. Styret var imidlertid positivt til initiativet, og godtok derfor forskuttering av gruppemidler for neste år. Dersom instituttet da ikke får incentivmidler/kandidatmidler, garanterer styret for beløpet.

Bestyrer gis fullmakt til å utforme presis avtale med gruppen innenfor rammen av garanti og forskuttering.

Sak 6. Skilting på instituttet

Notat fra Dag Langmyhr og Sverre Holm om skilting i Informatikk-bygningen forelå til behandling.

Kontorsjefen fikk ansvaret for å koordinere arbeidet med oppdatering og forbedring av skiltingen og å fremlegge kostnadsoverslag for styret.

Sak 7. Instituttets 20 års jubileum

Styret ønsker å markere jubiléet ved å profilerer instituttet faglig.

Kontorsjefen nedsetter en komité som skal forberede arrangementene med bl.a. seminar "IFI 20 år/Kristen 70 år", invitere gjesteforelesere til seminaret og planlegge husfest for ansatte og studenter.

Sak 8. Informasjonsteknologi på fakultetet.

Utkast til institutt-uttalelse forelå til behandling.

Styret hadde en del bemerkninger som vil bli innarbeidet i uttalelsen før den oversendes fakultetet.

Sak 9. Orienteringssaker

* Gode cand. scienter uteksaminert våren 1996. 34 kandidater, hvorav fire kvinner, ble uteksaminert. For tre av kandidatene var gjennomsnittet av karakteren til skriftlig og muntlig hovedfagseksamen 1.25 eller bedre:

Silvja Seres
Oppgavens tittel: Snitt og induksjon ved automatisk generering av bevis.
Veiledere: Ole-Johan Dahl og Herman Ruge Jervell.

Ole-Bjørn Hessen
Oppgavens tittel: Del I: Mina - Et logisk rammeverk med klasser basert på Martin-Løfs monomorfe typeteori med eksplisitte substitusjoner. Del II: Om grunnlaget for konstruktive typeteorier.
Veileder: Anne B. Salvesen.

Marius Midtvik
Oppgavens tittel: Reversibel kompresjon av MR-bilder basert på statisk kildemodellering.
Veiledere: Fritz Albregtsen og Ingvil Hovig.

* Forslag til ny annuumsmodell på fakultetet.

Forslaget er blitt sendt styret til orientering.
En komité bestående av Nils Christophersen, Stein Krogdahl og Knut Liestøl skal fremlegge forslag til instituttuttalelse. Dersom høringsfristen ikke forlenges, vil uttalelsen behandles på ekstraordinært styremøte 10. september, kl 1215.

Sak 10. Eventuelt

* Øystein Gran Larsen har bestilt vannkjøler på prøve i 14 dager. Den plasseres utenfor Digitalteknikk-gangen.

Møtevarighet: 1215-1335
Institutt for informatikk,

Knut Liestøl

Elisabeth Hurlen