TACAS 2020
Revision as of 14:44, 3 August 2020 by Britta.Seeberg (talk | contribs)
TACAS 2020 | |
---|---|
Event in series | TACAS |
Dates | 2020/04/15 (iCal) - 2020/04/30 |
Location | |
Location: | Dublin, Ireland |
Loading map... | |
Papers: | Submitted 155 / Accepted 48 (31 %) |
Table of Contents | |
26th International Conference, TACAS 2020
Held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2020
Dublin, Ireland, April 25–30, 2020, Proceedings, Part I: /pdf/10.1007%2F978-3-030-45190-5.pdf
Facts about "TACAS 2020"
Acceptance rate | 31.0 + |
Accepted papers | 48 + |
Acronym | TACAS 2020 + |
End date | April 30, 2020 + |
Event in series | TACAS + |
Event type | Conference + |
Has coordinates | 53° 20' 59", -6° 15' 37"Latitude: 53.349763888889 Longitude: -6.2602722222222 + |
Has location city | Dublin + |
Has location country | Category:Ireland + |
Has program chair | Armin Biere + and David Parker + |
IsA | Event + |
Start date | April 15, 2020 + |
Submitted papers | 155 + |
Title | 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems + |