# ICTAC — International Colloquium on Theoretical Aspects of Computing

- **Submission deadline**: 2026-06-08
- **Notification date**: 2026-08-10
- **Conference date**: 2026-11-09
- **Location**: Bariloche, Argentina
- **Rankings**: CCF C · CORE C · QUALIS B3
- **Conference Partner Index**: 71.1/100 (ranked #310, confidence 1.00, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 36
- **Attendees**: 7
- **Canonical page**: https://www.myhuiban.com/conference/945

## Acceptance history

| Year | Submitted | Accepted | Rate |
|---|---|---|---|
| 2010 | 79 | 23 | 29.1% |
| 2004 | 111 | 34 | 30.6% |

## Call for papers

The International Colloquium on Theoretical Aspects of Computing (ICTAC) aims at bringing together researchers and practitioners from academia, industry, and government to present research and exchange ideas and experiences within theoretical aspects of computing through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. ICTAC 2026, 23rd International Colloquium on Theoretical Aspects of Computing, will take place in Bariloche, Argentina, from November 11 to 13. The conference concerns all aspects of theoretical computer science, including, but not limited to: • Formal languages and automata • Semantics of programming languages • Logic in computer science • Lambda calculus, type theory, and category theory • Domain-specific languages • Theories of concurrency and mobility • Theories of distributed computing • Models of objects and components • Coordination models • Security and privacy • Static analysis • Software verification • Timed, hybrid, and cyber-physical systems • Verification, analysis and control synthesis • Software testing • Program generation and transformation • Model checking and theorem-proving • Quantum computing • Trustworthy AI • Machine learning algorithms • Applications and experiences

## Related conferences

- STACS — International Symposium on Theoretical Aspects of Computer Science — https://www.myhuiban.com/conference/389
- TASE — International Symposium on Theoretical Aspects of Software Engineering — https://www.myhuiban.com/conference/799
- TAAC — Theoretical and Applied Aspects of Cybernetics — https://www.myhuiban.com/conference/1369
- TARK — International Conference on Theoretical Aspects of Rationality and Knowledge — https://www.myhuiban.com/conference/453
- ICC — International Conference on Communications — https://www.myhuiban.com/conference/318

## Related journals

- Knowledge-Based Systems — https://www.myhuiban.com/journal/227
- Future Generation Computer Systems — https://www.myhuiban.com/journal/36
- Neurocomputing — https://www.myhuiban.com/journal/234
- Pattern Recognition Letters — https://www.myhuiban.com/journal/236
- IEEE Transactions on Industrial Informatics — https://www.myhuiban.com/journal/575

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