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

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

$0.00
SPEEDTYPE ISY2578
ACCOUNT 1581
CLASS ATV21
Participant Name
Contact Email
Organisation/University
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 includes GST 

Online Author $136.35 + 10%  = $150 AUD

Online Regular $63.65 + 10% = $70 AUD

Online Student $22.75 + 10% = $25 AUD

No refund if cancelled within 2 weeks of this event