ATVA 2018

From Openresearch
Jump to: navigation, search
ATVA 2018
16th International Symposium on Automated Technology for Verification and Analysis
Event in series ATVA
Dates 2018/10/07 (iCal) - 2018/10/10
Submitting link: EasyChair
Location: Los Angeles, California, USA
Loading map...

Important dates
Papers: 2018/05/11
Submissions: 2018/05/11
Notification: 2018/06/27
Camera ready due: 2018/07/27
Papers: Submitted 82 / Accepted 27 (32.9 %)
PC chairs: Shuvendu Lahiri, Chao Wang
PC members: Aws Albarghouthi, Cyrille Artho, Gogul Balakrishnan, Roderick Bloem, Tevfik Bultan, Pavol Cerny
Table of Contents