Updated:

News and Information

Assignment 2:

Assignment 2 is now available

Assignment 1:

has been released and may be found on the Assignment page.

Using Wiki:

To use the wiki you should login with your cse login.

Rodin:

Please see Rodin page for most recent information on Rodin, the Event-B workbench.

Textbook

the most recent copy of the textbook is now available. See Event B link.

EventB Summary:

the most recent copy of the EventB summary, both full and refcard size, is now available.