A sketch of the solutions for the exam of 07 can be found here

Dec. 11, 2009 6:04 PM

Regarding preparations for the exam: For the last part of the course (asynchronous communication), you may look at the Coin Machine example (from exam 05) which is an example of a size suitable for an exam. A revised foil set for this example can be found here

Dec. 10, 2009 1:36 PM

The first two foil sets are now available in English (thanks mainly to Chris).

Dec. 8, 2009 5:55 PM