View source for ATVA 2019

Jump to: navigation, search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

You can view and copy the source of this page.

Templates used on this page:

Return to ATVA 2019.

Retrieved from "https://www.openresearch.org/wiki/ATVA_2019"
Facts about "ATVA 2019"
RDF feed
Abstract deadlineApril 26, 2019 +
Acceptance rate36.9 +
Accepted papers24 +
AcronymATVA 2019 +
Camera ready dueJuly 26, 2019 +
End dateOctober 31, 2019 +
Event in seriesATVA +
Event typeConference +
Has PC memberErika Abraham +, Mohamed Faouzi Atig +, Christel Baier +, Saddek Bensalem + and Udi Boker +
Has Submitting linkhttps://easychair.org/conferences/?conf=atva2019 +
Has coordinates25° 2' 15", 121° 33' 49"Latitude: 25.037519444444
Longitude: 121.56368055556 +
Has location cityTaipei +
Has location countryCategory:Taiwan +
Has program chairYu-Fang Chen +, Chih-Hong Cheng + and Javier Esparza +
Homepagehttp://atva2019.iis.sinica.edu.tw/ +
IsAEvent +
NotificationJune 16, 2019 +
Paper deadlineMay 3, 2019 +
Start dateOctober 27, 2019 +
Submission deadlineMay 3, 2019 +
Submitted papers65 +
Title17th International Symposium on Automated Technology for Verification and Analysis +