Beskjeder

Published Mar. 2, 2009 3:40 PM

There is a bug in Full Maude 2.4 that I cannot find. Please start Maude with the command maude-2.3 and then it works well!

Published Jan. 16, 2009 9:02 PM

This directory contains some of the Maude code from the lecture notes

Published Jan. 12, 2009 3:27 PM

Gruppel?reren trakk seg pga kr?sj med egne foelesninger, s? foreleserne vil ogs? v?re gruppel?rere.

The lecturers will also take care of the seminars.

Published Jan. 9, 2009 6:53 PM

Hvis det er tilstrekkelig interesse, skal vi klare ? l?se problemer, slik at ogs? INF2310 studenter skal kunne ta dette kurset.

We'll find a solution to crashes with INF 2310, so that you can also attend this course.

Published Jan. 9, 2009 4:25 PM

Velkommen til INF 3230. F?rste forelesning allerede mandag 12. januar kl 9.15 i Lille Auditorium, Ifi. Merk at det holdes en ekstra forelesning tirsdag 13. januar kl 12.15 i Rom 3A, Ifi.

Welcome to INF 3230. First lecture is Monday January 12 at 9.15am in the Lille Auditorium, Informatics Building. An "extra" lecture is held on Tuesday, January 13, at 12.15pm in Seminar Room 3A, Informatics Building.