Revision history of "ATVA 2018"

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.

Retrieved from "https://www.openresearch.org/wiki/ATVA_2018"
Facts about "ATVA 2018"
RDF feed
Acceptance rate32.9 +
Accepted papers27 +
AcronymATVA 2018 +
Camera ready dueJuly 27, 2018 +
End dateOctober 10, 2018 +
Event in seriesATVA +
Event typeConference +
Has PC memberAws Albarghouthi +, Cyrille Artho +, Gogul Balakrishnan +, Roderick Bloem +, Tevfik Bultan + and Pavol Cerny +
Has Submitting linkhttp://EasyChair +
Has coordinates34° 3' 13", -118° 14' 34"Latitude: 34.053691666667
Longitude: -118.24276666667 +
Has location cityLos Angeles +
Has location countryCategory:USA +
Has location stateCalifornia +
Has program chairShuvendu Lahiri + and Chao Wang +
Homepagehttp://atva-conference.org/ +
IsAEvent +
NotificationJune 27, 2018 +
Paper deadlineMay 11, 2018 +
Start dateOctober 7, 2018 +
Submission deadlineMay 11, 2018 +
Submitted papers82 +
Title16th International Symposium on Automated Technology for Verification and Analysis +