Revision history of "ATVA 2019"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 07:45, 20 March 2020‎ OhlhoffM (talk | contribs)‎ . . (672 bytes) (+672)‎ . . (Created page with "{{Event |Acronym=ATVA 2019 |Title=17th International Symposium on Automated Technology for Verification and Analysis |Series=ATVA |Type=Conference |Start date=2019/10/27 |End...")
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 +