ATVA 2018

From Openresearch
Revision as of 10:53, 22 March 2020 by Soeren (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
Homepage: http://atva-conference.org/
Submitting link: EasyChair
Location
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 %)
Committees
PC chairs: Shuvendu Lahiri, Chao Wang
PC members: Aws Albarghouthi, Cyrille Artho, Gogul Balakrishnan, Roderick Bloem, Tevfik Bultan, Pavol Cerny
Table of Contents