ATVA 2019

From Openresearch
Jump to: navigation, search
ATVA 2019
17th International Symposium on Automated Technology for Verification and Analysis
Event in series ATVA
Dates 2019/10/27 (iCal) - 2019/10/31
Submitting link:
Location: Taipei, Taiwan
Loading map...

Important dates
Abstracts: 2019/04/26
Papers: 2019/05/03
Submissions: 2019/05/03
Notification: 2019/06/16
Camera ready due: 2019/07/26
Papers: Submitted 65 / Accepted 24 (36.9 %)
PC chairs: Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
PC members: Erika Abraham, Mohamed Faouzi Atig, Christel Baier, Saddek Bensalem, Udi Boker
Table of Contents