Page values for "TACAS 2019"

Jump to: navigation, search
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° 3' 35", 14° 26' 47"Latitude: 50.059627777778
Longitude: 14.446458333333 +
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 +