Beskjeder

Vi har reservert rom 3A for lenge siden. M?t derfor opp til vanlig tid og sted fremover. Hvis det blir endringer, legger vi ut beskjed her.

NB: Vi starter friskt med ?pning av DBSEM 24 august, med den japanske professoren Kokichi FUTATSUGI, som vil forlese om CafeOBJ. Meget spennende for de av dere som er opptatt av termomskrivning, Maude og teorembevising. Vel m?tt! Kokichi FUTATSUGI har jobbet sammen med Jose Mesuguer og de andre forskerne ved SRI.

Det er obligatorisk fremm?te p? f?rste forelesning. Hvis du ikke m?ter eller ikke har f?tt fritak for fremm?te f?r forelesningen, s? mister du plassen p? emnet.

Etteranmelding til emner som eventuelt har ledig kapasitet, kan skje tidligst dagen etter f?rste forelesning i det aktuelle emnet. Opptak gj?res deretter fortl?pende frem til emnet er fullt.