Revision history of "ATVA 2020"

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_2020"
Facts about "ATVA 2020"
RDF feed
AcronymATVA 2020 +
Camera ready dueJuly 5, 2020 +
End dateOctober 23, 2020 +
Event in seriesATVA +
Event typeConference +
Has PC memberDang Van Hung +, Oleg Sokolsky +, Mohamed Faouzi Atig +, Ondrej Lengal +, Christel Baier + and Orna Kupferman +
Has Submitting linkhttp://EasyChair +
Has coordinates21° 1' 46", 105° 51' 16"Latitude: 21.02945
Longitude: 105.85444444444 +
Has general chairPham Bao Son +
Has location cityHanoi +
Has location countryCategory:Vietnam +
Has program chairDang Van Hung + and Oleg Sokolsky +
Homepagehttp://fit.uet.vnu.edu.vn/atva2020/ +
IsAEvent +
NotificationJune 5, 2020 +
Paper deadlineMay 3, 2020 +
Start dateOctober 19, 2020 +
Submission deadlineMay 3, 2020 +
Title18th International Symposium on Automated Technology for Verification and Analysis +