Skip to main navigation
Skip to main content
The University of Southampton
Courses
Undergraduate
Postgraduate taught
Postgraduate research
Foundation Years
Pre-sessional English courses
Exchanges
Customise your degree
Tuition fees
Funding your studies
How to apply
Clearing
Free online learning
Continuing professional development
Student life
Accommodation
Our campuses
Our cities
Student community
Sports and gyms
Support and money
Research
Our impact
Facilities
Centres and institutes
REF
Funding
Research & Innovation Services
Partnerships
Commercialising research
Researcher support
Research integrity
Business
Why work with us?
Collaboration
Consultancy
Commercialisation
Use our facilities
Connect with our students
How we operate
Suppliers
Make a business enquiry
Global
International students
International Office
Partnerships and initiatives
Visiting delegations
Visiting fellowships
About
Visit
Alumni
Departments
News
Events
Contact
×
Search the Site
Search
6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018
Programme
Registration
News
Photos
Plan your Trip
Excursion
Call for Contributions
Case Study
Workshops
Invited Talks
Programme Committee
Contact us
Left
Right
Conference News
May 2018:
Extended versions of selected papers will be invited for consideration in a Special Section of the
International Journal on Software Tools for Technology Transfer (STTT)
. Details to be announced after the conference.
May 2018:
Springer LNCS Volume 10817 is available online:
LNCS volume for ABZ
.
April 2018:
The deadline for the
Rodin workshop
is extended to 2nd May 2018.
March 2018:
Details of
registration
,
accepted papers
,
excursion
and special rate of
accomodation fee
are announced.
January 2018:
Workshops
are announed and paper submission deadline is extended (abstract submission: January 29, 2018, paper submission: February 5, 2018).
November 2017:
Programme Committee
is announced and
invited talks
bio is completed.
September 2017:
Workshop and tutorial chairs
and
case study
are announced.
August 2017:
Invited talks
and
case study chairs
are announced.
July 2017:
Venue
,
PC chairs
and
important dates
are announced.
Privacy Settings