INF3140 - Autumn 2007

Teaching plan

Date	Teacher	Place	Topic	Lecture notes / comments
29.08.2007	Olaf	3B	Introduction/await-programming. Read: Chaper 1, in particular Section 1.9, and Chapter 2, in particular 2.4 through 2.6.	Foils . Exercises for next week: 2.1, 2.2, 2.7, 2.10, 2.12, 2.13, 2.14, 2.15.
05.09.2007	Olaf	3B	Locks. Read Chapter 3 to 3.5.	Foils . Exercises for next week: 2.17, 2.18, 2.33, 3.1, 3.6, 3.8, 3.3, 3.7, (3.9a). (Please remember to check the list of misprints before doing the execises.) Compulsory assignment 1.
12.09.2007	Joakim	Lille aud	Semaphores	Foils (Latest version with all the foils from the lecture) Exercises for next week.
19.09.2007	Joakim	Lille aud	Hoare Logic	Foils Exercises for next week.
26.09.2007	Joakim	Lille aud	Hoare Logic	Foils Exercises for next week.
03.10.2007	Joakim	Lille aud	Monitors	Foils Exercises for next week. (18.10.2007) Compulsory assignment 2.
10.10.2007	No lecture this week
17.10.2007	Joakim	Lille aud	Concurrent programming in Java	Foils Exercises for next week. (25.10.2007)
24.10.2007	Martin Steffen	Lille aud	Introduction to Distributed Systems. Message passing and Channels	Chap. 7.1-7.3, 7.5. Foils Exercises for next week. (1.11.2007) Compulsory assignment 3.
31.10.2007	Martin	Lille aud	RPC and rendezvous	Chap. 7.4, 8.1-8.4. Foils Exercises for next week: 8.1, 8.5, 8.8a, 8.8b
07.11.2007	Olaf	Lille aud	Semantics of asynchronous communication I	Foils (updated Nov. 13) Exercises for next week.
14.11.2007	Olaf	Lille aud	Semantics of asynchronous communication II	Foils Exercises for next week. If time, we may start with the exam06.
21.11.2007	Marcel	Lille aud	Active objects I	Foils
28.11.2007	Marcel	3B	Active objects II	Foils

Published Aug. 21, 2007 12:35 PM - Last modified Nov. 13, 2008 12:08 PM