| CARVIEW |
Select Language
HTTP/2 200
referrer-policy: strict-origin-when-cross-origin
x-content-type-options: nosniff
vary: Accept-Encoding
content-encoding: gzip
cache-control: max-age=0
content-length: 1370
content-type: text/html; charset=UTF-8
date: Tue, 30 Dec 2025 00:54:29 GMT
server: Apache
TACAS — International Conference on Tools and Algorithms for the Construction and Analysis of Systems
|
TACAS |
| TACAS — International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |
TACAS
TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems.
The TACAS conference is a founding member of ETAPS. Its roots go back to 1995, when it was first held in Aalborg, Denmark. Since then the TACAS proceedings are published in the LNCS series of Springer-Verlag.
A Short History of TACAS (memo written by three of the TACAS founders)If you did not find what you are looking for, please do not hesitate to contact the TACAS Publicity Chair.