Edit Event: TACAS 2019
You do not have permission to edit this page, for the following reason:
Facts about "TACAS 2019"
Abstract deadline | November 9, 2018 + |
Acceptance rate | 31.4 + |
Accepted papers | 137 + |
Acronym | TACAS 2019 + |
Camera ready due | February 15, 2019 + |
End date | April 11, 2019 + |
Event in series | TACAS + |
Event type | Conference + |
Has Submitting link | http://www.easychair.org/conferences/?conf=tacas2019 + |
Has coordinates | 50° 5' 15", 14° 25' 17"Latitude: 50.087466666667 Longitude: 14.421252777778 + |
Has location city | Prague + |
Has location country | Category:Czech Republic + |
Has program chair | Tomas Vojnar + and Lijun Zhang + |
Homepage | https://conf.researchr.org/track/etaps-2019/tacas-2019-papers + |
IsA | Event + |
Notification | January 25, 2019 + |
Paper deadline | November 16, 2018 + |
Start date | April 8, 2019 + |
Submission deadline | November 16, 2018 + |
Submitted papers | 436 + |
Title | 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems + |