INF3230 - Spring 2008

Teaching plan

DateTeacherPlaceTopicLecture notes / comments
21.01.2008Peter ?lveczky? Lille Auditorium, Ifi? Introduksjon til kurset; litt om signaturer (introduction; signatures)? Slides (in Norwegian)

Obligatorisk oppgave 1 er ute. Innleveringsfrist 8.2.

Mandatory homework assignment 1 is out. Due Feb 8.?

22.01.2008Peter ?lveczky? Ifi, room 3A, 12.00(!)-14.00? Forelesning: likhetsspesifikasjoner (*lecture!*)? Slides (in Norwegian)

Merk at det er forelesning denne dag!

Notice that there is a lecture this day!?

28.01.2008Peter ?lveczky? Lille Aud., Ifi? Order-sorted spesifikasjoner og innebygde moduler ? Slides (in Norwegian)

?

29.01.2008Cristian Prisacariu? Room 3B, Ifi? Oppgaver/Exercises? Oppgavesett 1(solutions (in Norwegian))

Problem set 1 in English?

04.02.2008Peter ?lveczky? Lille Aud., Ifi? Assosiativitet og kommutativitet; operasjonell semantikk? Slides (in Norwegian)

This lecture will start at 9.50 due to Super Bowl on Sunday night (even though Super Bowl looks to be a disaster and boring this year).

Mandatory homework assignment 2 ('oblig 2') is out (in Norwegian and in English ). It is due February 29.?

05.02.2008Cristian Prisacariu? Room 3B, Ifi? Oppgavegjennomgang/Exercises? Oppgavesett 2/Problem set 2 (solutions in Norwegian)?
08.02.2008? ? ? Innleveringsfrist obligatorisk oppgave 1

Deadline for mandatory homework assignment 1?

11.02.2008Peter ?lveczky? Lille Aud., Ifi? Terminering/termination? Slides (in Norwegian)

?

12.02.2008Cristian Prisacariu? Room 3B, Ifi? Oppgavegjennomgang/Exercises? Oppgavesett 3/Problem set 3 (solutions in Norwegian)?
18.02.2008Peter ?lveczky? Lille Aud., Ifi? Konfluens/Confluence? Slides (in Norwegian)

?

19.02.2008Cristian Prisacariu? Room 3B, Ifi? Oppgavegjennomgang/Exercises? Oppgavesett 4/Problem set 4 (solutions in Norwegian )?
25.02.2008Peter ?lveczky? Ifi, Lilla Aud.? Equational logic and inductive theorems? Slides (in Norwegian)??
26.02.2008Cristian Prisacariu? Room 3B, Ifi? Oppgavegjennomgang/Exercises? Oppgavesett 5/Problem set 5 (solutions in Norwegian)??
29.02.2008? ? ? Innleveringsfrist obligatorisk oppgave 2

Tentative deadline for mandatory homework assignment 2 ?

03.03.2008Peter ?lveczky? Lille Aud., Ifi? Introduction to Part II. Rewriting logic? Slides (in Norwegian)??
04.03.2008Cristian Prisacariu? Room 3B, Ifi? Oppgavegjennomgang/Exercises? Oppgavesett 6/Problem Set 6 (solutions in Norwegian)??
10.03.2008Peter ?lveczky? Lille Aud., Ifi? Distributed objects in (Full) Maude? Slides (in Norwegian)??
11.03.2008Cristian Prisacariu? Room 3B, Ifi? Oppgavegjennomgang/Exercises? Oppgavesett 7/Problem Set 7

(solutions in Norwegian)

?

17.03.2008---? ---? ---? According to University regulations, this week is devoted to hard self-study. Therefore no lecture.?
18.03.2008----? ----? ----? P?skearbeidsuke (ingen oppgavegjennomgang)

(Easter working week; no seminar.) ?

24.03.2008----? ----? ----? P?skearbeidsuke (ingen forelesning)

This is a national holiday, to allow all Norwegians to attend church this day. So, no lecture.?

25.03.2008Cristian Prisacariu? Room 3B, Ifi? Oppgavegjennomgang/Exercises? Oppgavesett 8/Problem set 8

(solutions in Norwegian )?

31.03.2008----? ----? ----? If?lge universitetets regler skal det ikke v?re forelesning denne uken pga midttermin-eksamen.

No lecture according to university regulations. (I am anyways away for a conference) ?

01.04.2008Cristian Prisacariu? Room 3B, Ifi? Oppgavegjennomgang/Exercises? Oppgavesett 9/Problem Set 9

I tillegg kan man muligens vurdere en gjennomgang av eksamensoppgaver og andre oppgaver som ?nskes repetert (send ?nsker til gruppel?rer i god tid!). Nyttig snikk-snakk om eksamen!

Please let the TA know if you have some questions about the exam. ?

04.04.2008Eksamen? ??? Del 1 av kurset / Part I of the course ONLY? Solution to midterm exam

Midttermin-eksamen tentativt satt opp til denne dag, kl. 9.00-12.00, men dette kan endre seg, s? sjekk universitetets offisielle nettsteder for tid og sted.

Midterm exam. Check official web pages for time and place! You have be there 15 minutes before the start of the exam. (Most probably you have to be there at 8.45am this day.) ?

07.04.2008Peter ?lveczky (?)? Lille aud., Ifi? Modeling communication in Maude (I)? Slides in Norwegian??
08.04.2008???? ???? ???? Most probably we will have a day off from seminar today?
14.04.2008Professor Olaf Owe? Lille aud., Ifi? Modeling communication in Maude (II)/Alternating bit protocol? Slides (in Norwegian)

Etter denne forelesningen har man grunnlag for ? l?se obligatorisk oppgave 3

After this lecture, you can solve mandatory homework assignment 3?

15.04.2008Cristian Prisacariu? Room 3B, Ifi? Oppgavegjennomgang/Exercises? Oppgavesett 10/Problem Set 10

(Solutions in Norwegian)??

21.04.2008Peter ?lveczky (?)? Lille aud., Ifi? Two-phase commit protocol for distributed databases/Temporal properties (requirement spec's) ? Slides in Norwegian

Maude specification of 2PC (uses the file new-LINK.maude

Submitted draft (accepted to an 'International Symposium') describing the use of Maude and Real-Time Maude on 2PC

?

22.04.2008Cristian Prisacariu? Room 3B, Ifi? Oppgaver/Exercises? Oppgavesett 11

Problem Set 11

(Solutions)??

28.04.2008Peter ?lveczky? Lille aud., Ifi? Cryptographic protocols (NSPK protocol) ? ?
29.04.2008Cristian Prisacariu? Room 3B, Ifi? Oppgaver/Exercises? Problem set 12

(solutions in Norwegian)??

05.05.2008---? ---? ---? Most likely no lecture this day?
06.05.2008Cristian Prisacariu? Room 3B, Ifi? Oppgaver/Exercises? Problem set 13

(solutions in Norwegian)?

07.05.2008---? ---? ---? (Forel?pig) innleveringsfrist oblig 3

(Preliminary?) dealine for mandatory homework assignment 3??

09.05.2008? ? ? Planlagt innleveringsfrist oblig 3

(Tentative deadline for mandatory homework assignment 3)?

12.05.2008----? ----? ----? 2. Pinsedag. Ingen forelesning.

(Pentecost Monday; again, this is a national holiday since all Norwegians are attending church this day.)

?

13.05.2008Cristian Prisacariu? Room 3B, Ifi? Oppgaver/Exercises? Problem Set 14/15

(solutions in Norwegian)?

19.05.2008---? ---? ? Most likely no lecture this day?
20.05.2008Cristian Prisacariu? Room 3B, Ifi? Eksamensoppgaver (problems from previous exams)? Problem Set 14/15 (continued from last week)?
26.05.2008Peter ?lveczky? Lille Aud., Ifi? Course summary? What did you actually learn in this course??
27.05.2008Cristian Prisacariu? Room 3B, Ifi? Eksamensoppgaver (problems from previous exams) ? It is up to Cristian Prisacariu and you whether there will be a seminar this day or not. ?
02.06.2008---? ---? ---? No lecture?
06.06.2008Eksamen (exam)? ? 8.45-12.00 (???)? Eksamen. Sjekk universitets offisielle sider for ? v?re sikker p? tid og sted.

Final exam. Check official web pages for time and place. Most likely 8.45am.?

Published Jan. 15, 2008 7:50 PM - Last modified May 30, 2008 4:59 PM
E-mail this page