Seminar i databehandling, Institutt for informatikk, Universitetet i Oslo