Revision history of "TACAS 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.

Retrieved from "https://www.openresearch.org/wiki/TACAS_2019"
Facts about "TACAS 2019"
RDF feed
Abstract deadlineNovember 9, 2018 +
Acceptance rate31.4 +
Accepted papers137 +
AcronymTACAS 2019 +
Camera ready dueFebruary 15, 2019 +
End dateApril 11, 2019 +
Event in seriesTACAS +
Event typeConference +
Has Submitting linkhttp://www.easychair.org/conferences/?conf=tacas2019 +
Has coordinates50° 5' 15", 14° 25' 17"Latitude: 50.087466666667
Longitude: 14.421252777778 +
Has location cityPrague +
Has location countryCategory:Czech Republic +
Has program chairTomas Vojnar + and Lijun Zhang +
Homepagehttps://conf.researchr.org/track/etaps-2019/tacas-2019-papers +
IsAEvent +
NotificationJanuary 25, 2019 +
Paper deadlineNovember 16, 2018 +
Start dateApril 8, 2019 +
Submission deadlineNovember 16, 2018 +
Submitted papers436 +
Title25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems +