# TACAS — International Conference on Tools and Algorithms for the Construction and Analysis of Systems

- **Submission deadline**: 2026-10-15
- **Notification date**: 2026-12-22
- **Conference date**: 2027-04-10
- **Location**: Copenhagen, Denmark
- **Rankings**: CORE A · QUALIS A1
- **Conference Partner Index**: 87.2/100 (ranked #109, confidence 1.00, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 15
- **Attendees**: 1
- **Canonical page**: https://www.myhuiban.com/conference/203

## Acceptance history

| Year | Submitted | Accepted | Rate |
|---|---|---|---|
| 2007 | 204 | 45 | 22.1% |
| 2006 | 118 | 30 | 25.4% |
| 2005 | 140 | 33 | 23.6% |
| 2004 | 145 | 37 | 25.5% |
| 2003 | 160 | 43 | 26.9% |
| 2002 | 95 | 29 | 30.5% |
| 2001 | 125 | 36 | 28.8% |
| 2000 | 107 | 33 | 30.8% |
| 1999 | 82 | 28 | 34.1% |
| 1998 | 78 | 28 | 35.9% |

## Call for papers

Scope of Interest 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.

## Related conferences

- TOOLS Europe — International Conference on Objects, Models, Components and Patterns — https://www.myhuiban.com/conference/180
- SIGIR — International Conference on Research and Development in Information Retrieval — https://www.myhuiban.com/conference/141
- AAAI — AAAI Conference on Artificial Intelligence — https://www.myhuiban.com/conference/408
- CVPR — IEEE Conference on Computer Vision and Pattern Recognition — https://www.myhuiban.com/conference/407
- ICRA — International Conference on Robotics and Automation — https://www.myhuiban.com/conference/421

## Related journals

- Smart Construction — https://www.myhuiban.com/journal/1215
- International Journal on Artificial Intelligence Tools — https://www.myhuiban.com/journal/999
- Software-Concepts and Tools — https://www.myhuiban.com/journal/543
- IEEE Transactions on Multimedia — https://www.myhuiban.com/journal/152
- Knowledge-Based Systems — https://www.myhuiban.com/journal/227

---
Source: Conference Partner — https://www.myhuiban.com/conference/203 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)