Home > Conferences & Events > Institute for Integrated and Intelligent Systems > The 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021) - International Attendees
The 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021) - International Attendees

The 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021) - International Attendees

$0.00
SPEEDTYPE ISY2578
ACCOUNT 1581
CLASS ATV21
Participant Name
Contact Email
Organisation/Uni
Country of Organisation/Uni
Student Id (if applicable)
Paper Id (if applicable)
Registration Option
Workshop you wish to attend
Qty
Wishlist

The ATVA series of symposia is intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and international research communities and industry in the field. 

18 - 22 October 2021, Gold Coast, Australia

Please note: cost does not include GST (Goods & Services Tax)

Online Author $150 AUD

Online Regular $70 AUD

Online Student $25 AUD

No refund if cancelled within 2 weeks of this event