Beskjeder

Må møte opp i 9. etg. Eksamen er i seminarrom 9460. Ikke kom inn i selve rommet; vi kaller dere inn når det er klart.  Kan gjerne vente ved spisebordet i 9. etg., for eksempel.  Oppmøtetider: Åsmund 9:25; Joachim 10:00; Lars 10:45; Triera 13:00; Mick 13:40; Kristin 14:30; Benjamin 15:20; Samuel 16:10.  Siden hver eksamen KAN ta opptil én time, kan man fort måtte vente noe tid.  

Det ble ytret ønske om forelesning uken før eksamen.  Skriv gjerne til meg om hva jeg skal snakke om.  Paul har tenkt å ta en "mini-øvings-muntlig-eksamen".  Jeg har tenkt å prøve å si noe om hva man skal ha lært i emnet.  Men mail meg om hva jeg burde gjøre!

Eksamen er som lenge annonsert den 15. desember.

Rom 9460, i 9. etg., er reservert for eksamen fra 9:00-16:00. De tre IN9100-studentene har eksamen først, etterfulgt av IN5100-studentene.

1. Ingen forelesning fredag 3.11.  

2. Nå er pensum for alle temaer presisert nøye; se tidligere "beskjed" for linker til pensum for hvert tema.

3. Husk oblig 3; innleveringsfrist 8. november.

Biokjemiske/biologi reaksjoner (Mick); hjerne og Parkinson (Triera); knekke Internet Explorer (Samuel); knekke EuroPay/MasterCard/VISA kort-betaling og andre ting med Tamarin (Kristin); semantikk for C i K (Åsmund); analysere elektroniske kontrakter ved formell semantikk for EVM (Benjamin); monitoring (2 personer; IN9100; Joachin og Lars).  I tillegg pensum i probabilistiske systemer som jeg foreleser denne uken.

Oblig 3 har allerede vært presentert på forelesning. Her er "teksten".  Her er filen borneo-public.maude med syntaksen til borneo og en masse borneo-testprogrammer. Man kan også bli inspirert av Maude-semantikken til det berømte/beryktede språket bali, som er her: bali-public.maude

Handout-versjoner av slides ("handout") lagt inn i timeplanen.

Eksamen avholdes én av dagene 13-15 desember, ser det ut til.

Etter å ha diskutert med Paul tenker vi at det er mye bedre at dere jobber med Oblig 2 denne uken, i stedet for at vi presenter Oblig 3 allerede denne uken.

Vi avlyser derfor forelesningen denne fredagen.

Her er obligatorisk oppgave 2, innleveringsfrist 13. oktober. Her er filen med "tesprogrammene"

Minner om at innleveringsfristen for obligatorisk oppgave 1 er fredag 22. september.