TACAS 2020

From Openresearch
Revision as of 14:44, 3 August 2020 by Britta.Seeberg (talk | contribs)
Jump to: navigation, search
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 rate31.0 +
Accepted papers48 +
AcronymTACAS 2020 +
End dateApril 30, 2020 +
Event in seriesTACAS +
Event typeConference +
Has coordinates53° 20' 58", -6° 15' 38"Latitude: 53.349380555556
Longitude: -6.2605583333333
+
Has location cityDublin +
Has location countryCategory:Ireland +
Has program chairArmin Biere + and David Parker +
IsAEvent +
Start dateApril 15, 2020 +
Submitted papers155 +
Title26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems +