|LIC ||Ken Robinson ||kenr ||K17 208 ||9385 4045|
|Tutor ||Xiao Di Guan ||firstname.lastname@example.org || ||
| || || || || |
|Activity||Time(s) ||Place ||UNSW Grid
|Lecture ||Mon 0900–1100||Law Theatre G23 ||K-FB-G23 |
|Lecture ||Wed 1200-1300 ||Law Theatre G02 ||K-FB-G02
|Tutorial ||Wed 1300-1400 ||ASB 114 ||K-E12-114 |
|Tutorial ||Wed 1400-1500 ||ASB 114 ||K-E12-114
News and Information
- Assignment 2 is now available
- has been released and may be found on the Assignment page.
- To use the wiki you should login with your cse login.
- Please see Rodin page for most recent information on Rodin, the
- the most recent copy of the textbook is now available. See Event B
- the most recent copy of the EventB summary, both full
and refcard size, is now available.