ATVA 2020

From Openresearch
Jump to: navigation, search
ATVA 2020
18th International Symposium on Automated Technology for Verification and Analysis
Event in series ATVA
Dates 2020/10/19 (iCal) - 2020/10/23
Submitting link: EasyChair
Location: Hanoi, Vietnam
Loading map...

Important dates
Papers: 2020/05/03
Submissions: 2020/05/03
Notification: 2020/06/05
Camera ready due: 2020/07/05
General chairs: Pham Bao Son
PC chairs: Dang Van Hung, Oleg Sokolsky
PC members: Dang Van Hung, Oleg Sokolsky, Mohamed Faouzi Atig, Ondrej Lengal, Christel Baier, Orna Kupferman
Table of Contents