Registration Open
Venue & Travel
The conference will be held at the Rydges Sydney Central hotel. The hotel is located in the city center, close to public transport and major landmarks. There is a wide range of other accommodation options close by.
Final Version
You have already received the comments by the reviewers in a previous email. Please take them carefully into account when preparing your camera-ready paper for the proceedings. Deadline for submission of final version/Copyright Form July 25, 2014 This is a firm deadline…
Program
ATVA 2014 runs over 4 days, from November 3 to November 6. First day of ATVA is the Tutorials’ day, November 3rd. It also includes a reception for everyone (see venue page). Proceedings For access to the proceedings visit the ATVA…
Committees & Call for papers
General Chair: Ralf Huuck
PC Chairs: Franck Cassez & Jean-François Raskin
Workshop Chair: Peter Höfner
Call for Papers
TXT PDF The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry. Scope ATVA 2014 solicits…
Submission
Submissions are for regular papers (15 pages) and tool papers (4 pages) in LNCS format. All submissions are via EasyChair: https://www.easychair.org/conferences/?conf=atva14
