Skip to main navigationSkip to main content
The University of Southampton
6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018


Please register here.

Conference registration fee is £500 and includes:

Main conference

Rodin and SETS Workshops

Refreshments and lunches each day

Conference excursion and dinner

Workshop only registration is £50 and includes:

Refreshments and lunch on 5 June

Extra excursion and dinner place for accompanying people: £150



We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.