| 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? | FoilsExercises for next week.? |
| 03.10.2007 | Joakim? | Lille aud? | Monitors? | FoilsExercises 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? | FoilsExercises 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. FoilsExercises 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. FoilsExercises 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 ? |
Teaching plan
Published Aug. 21, 2007 12:35 PM
- Last modified Nov. 13, 2008 12:08 PM