Workshops of The 19th International Symposium on Automated Technology for Verification and Analysis


18 - 22 October 2021, Gold Coast (Online), Australia

Welcome to the website of the 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021) workshops.

The ATVA 2021 workshops provide an opportunity for participants to discuss topics in the broader verification related domains.

ATVA 2021 Workshops will be held on October 18, before the main conference.

Workshops

Security and Reliability of Machine Learning (SRML) 2021

Workshop on Hyperproperties: Advances in Theory and Practice (HYPER) 2021

Workshop on Open Problems in Learning and Verification of Neural Networks 2021

Registration

Option Fee
Online Regular 70 AUD (≈ 55 USD)
Online Student 25 AUD (≈ 20 USD)
Online Workshop-only 0 AUD

All of the above registration options include the ATVA 2021 conference and the three workshops.

The "Online Author" option on the registration page is only applicable to ATVA 2021 conference paper authors.

The USD conversion is only for indication. The attendants should use the AUD price for registration.

If you are not located in Australia, please use the following link:
International Registration

If you are located in Australia, please use the following link:
Australian Registration

Venue

Gold Coast, Australia, is our virtual host city. However, based on the current COVID situation in Australia, the ATVA steering committee and the local organiser have decided to host the 2021 conference entirely online.

We will provide more information on how to attend ATVA 2021 online later.

Official Sponsors


ATVA'21 is an outstanding opportunity for you to reach the ‘thought leaders’ in this industry with your message, and for your Software Engineering team to network and exchange ideas with their peers in this unique and innovative forum.

Sponsors are offered the opportunity to reach over 100 software engineering experts, including researchers and industry practitioners such as developers, QA and engineering managers.

New sponsorship are welcome and any entity wishing to become an official sponsor may contact the Program Co-chairs.

WeAreDestinationGoldCoast

Springer-LNCS

FormalMethodsEurope

GriffithUniversity