ATVA 2022 Call For Participation

ATVA 2022 will be held virtually from October 25th (Tuesday) to October 28th (Friday), 2022.

The program of ATVA 2022 is available at https://atva-conference.org/2022/program/ https://atva-conference.org/2022/program/.

ATVA 2022 will include — 2 tutorials by Constantin Enea (Ecole Polytechnique) and Mahesh Viswanathan (UIUC), — 5 keynotes by Sanjit A. Seshia (UC Berkeley), Xinyu Feng (Nanjing University), Shaz Qadeer (Meta), Jean-François Raskin (Université Libre de Bruxelles), and Mohamed Faouzi Atig (Uppsala University), — 8 sessions.

We invite and welcome you to attend ATVA 2022 and the registration is free.

If you would like to attend ATVA 2022, please register by filling in the registration form at https://jinshuju.net/f/XVerv0.

After the registration, the participation information will be sent to you by emails.

Best regards, Ahmed, Lukas, Zhilin