Beskjeder

Next seminar will take place Thursday May 22; we will look at Exam 2009 (and possible Exercise 3 from Exam 2013). See the Course plan.

I have to move the lecture for INF 4231 students on temporal logic to May 8.  Monday May 5 might also work, but unless there are requests for change, I am aiming at Thursday May 8.

There is no lecture until May 8.

Gruppe?velsene p? mandager skal fra n? av holdes i Semarrom C, rom 3437!!

The Monday seminars will take place in Seminar room C, room 3437

Forelesningen torsdag 6.2 er meget sentral og kan fort ta mer enn to timer. Jeg har reservert rom Caml for neste mandag 11.15-12.00 (f?r gruppetimen) i tilfelle jeg m? gjenta tredje time for dem m? ta et kr?sjende kurs.

Fikk beskjed fra en student (takk!) at Maude IKKE er installert p? Redhat 6-maskinene som studentene tydligvis bruker. Maude er tilgjenglig p? Redhat 5 (inklusive login-maskinene jeg bruker for ? logge inn fra kontoret). Jeg har bedt drift om ? installere Maude ogs? p? de andre linux-maskinene.

Det er for?vrig rimelig greit ? installere Maude p? egen maskin (eget filomr?de) fra http://maude.cs.illinois.edu/download/

Som sagt, jeg er interessert i konstruktive l?sninger som kan gj?re at man skal kunne ta begge disse kursene samtidig.

Det kan vise seg vrient ? tidligerelegge forelesningene, siden det ville kr?sje med 3510, men jeg er interessert i andre l?sninger som gj?r at man kan ta begge kursene samtidig.