TACAS

From Openresearch
Jump to navigation Jump to search
TACAS
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Avg. acceptance rate: 31.2
Avg. acceptance rate (last 5 years): 31.2
Table of Contents

International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) has an average acceptance rate of 31.2% (last 5 years 31.2%).

Events

The following events of the series TACAS are currently known in this wiki:

 OrdinalFromToCityCountryGeneral chairPC chairAcceptance rateAttendees
TACAS 2021Mar 27Apr 1LuxembourgLuxembourgPeter Y. A. Ryan
TACAS 2020Apr 15Apr 30DublinIrelandArmin Biere
David Parker
31.0
TACAS 2019Apr 8Apr 11PragueCzech RepublicLijun Zhang
Tomas Vojnar
31.4
TACAS 2018Apr 14Apr 20ThessalonikiGreece
TACAS 2009Mar 22Mar 29YorkUK
TACAS 2008Mar 29Apr 6BudapestHungary

Number of Submitted and Accepted Papers (Main Track)

Acceptance Rate

Locations

Loading map...