In this table, green entries have been released to students, black entries are in draft form or not yet available, while red entries indicate activities that have been completed.
| Week | Date | Lecture | Tute | Lab | Objs | Content | Notes | PDFs |
|---|
| 1 | 02 Mar | 01 | | | 1,2,4 | Introduction to this Unit, Introduction to Event B | 1-2 | 1-27 |
| 1 | 02 Mar | | | | | handout: Assignment 1a | pdf version |
| 1 | 04 Mar | 02 | | | 1,2,4 | Introduction to Event B | 2-4 | 28-50 |
| 1 | 04 Mar | | | | | handout: Discussion 1 | pdf version |
| 2 | 9 Mar | 03 | | | 1 | Abrial's Introduction to Event-B | NA | 1-27 |
| 2 | 9 Mar | | 01 | | | Set Theory Revision (Q1-Q3) | pdf version |
| 2 | 11 Mar | 04 | | | | Abrial's Introduction to Event-B, Revision of Set Theory | NA, 1-3 | 27-34, 1-58 |
| 3 | 16 Mar | 05 | | | 1,2,3,12,13 | The Bridge Problem | 1-9 | NA |
| 3 | 16 Mar | | 02 | | 1 | Set Theory Revision (Q4) | pdf version |
| 3 | 18 Mar | 06 | | | 1,2,3,12,13 | The Bridge Problem , Use of Rodin | 9-16 | NA |
| 4 | 23 Mar | | | | | due: Assignment 1a | |
| 4 | 23 Mar | 07 | | | 1 | Abrial's Mathematical Background | NA | 1-60 |
| 4 | 23 Mar | | 03 | | | Set Theory Revision (Q5-Q6) | pdf version |
| 4 | 25 Mar | 08 | | | 1 | Abrial's Mathematical Background | NA | 60-134 |
| 4 | 25 Mar | | | | | close: Discussion 1 | |
| 5 | 30 Mar | | | | | due: Assignment 1b | |
| 5 | 30 Mar | 09 | | | | Simple Library Machine | | 1-79 |
| 5 | 30 Mar | | 04 | | | Simple Library Machine Development | pdf version |
| 5 | 01 Apr | 10 | | | | Simple Library Machine | | 80-151 |
| 5 | 01 Apr | | | | | return: Discussion 1 | |
| 5 | 01 Apr | | | | 1,2,4,9 | handout: Discussion 2 | pdf version |
| 6 | 06 Apr | 11 | | | | Semantics and Proof Obligations in Event-B | 1-8 | 1-86 |
| 6 | 06 Apr | | 05 | | | Simple Event-B Machines: Bank | pdf version |
| 6 | 08 Apr | 12 | | | 7,10,12,13 | The Square Root Machine | 1-12 | 1-78 |
| 6 | 08 Apr | | | | | handout: Assignment 2 | |
| | 13 Apr | - | | | | Mid-semester (!) break - no lectures this week | | |
| | 15 Apr | - | | | | Mid-semester (!) break - no lectures this week | | |
| 7 | 20 Apr | 13 | | | | Abrial Proof Obligations | | 1-29 |
| 7 | 20 Apr | | 06 | | | Simple Event-B Machines: Traffic Lights | pdf version |
| 7 | 22 Apr | 14 | | | | Abrial Proof Obligations , Sorting Algorithms | | 30-61, 1-10 |
| 7 | 22 Apr | | | | | close: Discussion 2 | |
| 8 | 27 Apr | | | | | return: Assignment 1 solutions | pdf version |
| 8 | 27 Apr | 15 | | | | Sorting Algorithms (as presented) | | 10-62 |
| 8 | 27 Apr | | 07 | | | Simple Event-B Machines: Lift Machine | pdf version |
| 8 | 29 Apr | 16 | | | | Sorting Algorithm Example , Sorting Algorithms (revised) | | 1-49, 1-81 |
| 8 | 29 Apr | | | | | handout: Discussion 3 | pdf version |
| 9 | 04 May | 17 | | | | Preconditions and Guards | 1-11 | 1-61 |
| 9 | 04 May | | 09 | | | The Bag Machine | pdf version |
| 9 | 06 May | 18 | | | | The File Transmission Protocol | | 1-61 |
| 10 | 11 May | 19 | | | | The File Transmission Protocol | | 62-121 |
| 10 | 11 May | | 10 | | | More Refinement Examples | pdf version |
| 10 | 13 May | 20 | | | | Refinement Revisited | | 1-73 |
| 11 | 18 May | 21 | | | | CANCELLED | | |
| 11 | 18 May | | 11 | | | CANCELLED | |
| 11 | 20 May | | | | | due: Assignment 2 | |
| 11 | 20 May | 22 | | | | Refinement Revisited | | 74-116 |
| 11 | 20 May | | | | | handout: Discussion 4 | pdf version |
| 11 | 20 May | | | | | return: Discussion 2 | |
| 11 | 20 May | | | | | close: Discussion 3 | |
| 12 | 25 May | 23 | | | | Refinement Revisited | | 117-237 |
| 12 | 25 May | | 12 | | | Refinement (Traffic Lights again) | pdf version |
| 12 | 27 May | 24 | | | | CANCELLED | | |
| 12 | 27 May | | | | | return: Assignment 2 | |
| 12 | 27 May | | | | | return: Discussion 3 | |
| 13 | 01 Jun | 25 | | | | revision | | |
| 13 | 01 Jun | | 13 | | | Review of 2008 Exam Paper | |
| 13 | 03 Jun | 26 | | | | Review of various exam papers | | |
| 13 | 03 Jun | | | | | close: Discussion 4 | |
| 14 | 10 Jun | | | | | return: Discussion 4 | |
