Click on the links in the meny to the left for specific information. Make a habit of checking this page from time to time: this is a live page where information about scheduling changes and other relevant news are published. News are listed in reverse chronological order: most recent news are listed first:
- 080116 The exam 2008-01-08 has been graded
- 071126 Re-exam scheduled for 2008-01-08
- 071109 The exam 2007-10-17 has been graded
- 071015 Exam reminder
- 071012 Updated notes for lecture 15
- 071011c Added link to course evaluation site
- 071011b Purple Dragon book reading instructions
- 071011 Updated notes for lecture 14
- 071010 Added lecture 14 note on liveness computation
- 071009 Minor updates to notes and examples of tutorial 5
- 071008b Revised notes for tutorial 5
- 071008 Updated notes for lecture 13
- 071004b Updated notes for lecture 12
- 071004 Updated test suite
- 071003b Second version of Java framework
- 071003 Revised notes for tutorial 4
- 071002 Notes for tutorial 4
- 070930b Updated SML/NJ lab skeleton and assignment 4
- 070930 Updated notes for lecture 11
- 070928 Updated test suite
- 070926 Updated notes for lecture 10
- 070925 Examples and notes for tutorial 3
- 070924 Updated notes for lecture 9
- 070919 Examples and updated notes for tutorial 2
- 070918 Updated notes for lecture 8
- 070917b Updated test suite
- 070917 Updated notes for lecture 7
- 070913 Updated notes for lecture 6
- 070911 Updated notes for lecture 5
- 070910b First version of Java framework
- 070910 Test suite available
- 070907 Updated notes for lecture 4
- 070904 Updated notes for lecture 3
- 070830 Updated notes for lecture 2
- 070828 Some lecture notes and links updates
- 070822 Preliminary course homepage is online