# ICALP — International Colloquium on Automata, Languages and Programming

- **Submission deadline**: 2026-09-15
- **Notification date**: 2026-12-08
- **Conference date**: 2027-07-05
- **Location**: Krakow, Poland
- **Rankings**: CCF B · CORE A* · QUALIS A1
- **Conference Partner Index**: 91.7/100 (ranked #53, confidence 1.00, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 44
- **Attendees**: 5
- **Canonical page**: https://www.myhuiban.com/conference/381

## Acceptance history

| Year | Submitted | Accepted | Rate |
|---|---|---|---|
| 2020 | 347 | 102 | 29.4% |
| 2019 | 316 | 94 | 29.7% |
| 2018 | 346 | 98 | 28.3% |
| 2017 | 296 | 88 | 29.7% |
| 2016 | 319 | 89 | 27.9% |
| 2015 | 507 | 143 | 28.2% |
| 2014 | 484 | 136 | 28.1% |
| 2013 | 422 | 124 | 29.4% |
| 2012 | 248 | 71 | 28.6% |
| 2011 | 222 | 60 | 27% |

## Past editions

| Year | Deadline | Conference date | Location |
|---|---|---|---|
| 2026 | 2026-02-03 | 2026-07-07 | Egham, England |
| 2025 | 2025-02-07 | 2025-07-08 | Aarhus, Denmark |

## Call for papers

Topics Papers presenting original research on all aspects of theoretical computer science are sought. Typical, but not exclusive, topics of interest for Track B (Automata, Logic, Semantics, and Theory of Programming) include: Algebraic and Categorical Models of Computation Automata, Logic, and Games Database Theory, Constraint Satisfaction Problems, and Finite Model Theory Formal and Logical Aspects of Learning Formal and Logical Aspects of Security and Privacy Logic in Computer Science and Theorem Proving Models of Computation: Complexity and Computability Models of Concurrent, Distributed, and Mobile Systems Models of Reactive, Hybrid, and Stochastic Systems Principles and Semantics of Programming Languages Program Analysis, Verification, and Synthesis Type Systems and Typed Calculi

## Related conferences

- Programming — International Conference on the Art, Science, and Engineering of Programming — https://www.myhuiban.com/conference/2069
- ICRA — International Conference on Robotics and Automation — https://www.myhuiban.com/conference/421
- IJCAI — International Joint Conference on Artificial Intelligence — https://www.myhuiban.com/conference/405
- ICASSP — International Conference on Acoustics, Speech and Signal Processing — https://www.myhuiban.com/conference/429
- PODS — ACM SIGMOD Conference on Principles of DB Systems — https://www.myhuiban.com/conference/138

## Related journals

- Programming and Computer Software — https://www.myhuiban.com/journal/531
- Journal of Visual Languages and Computing — https://www.myhuiban.com/journal/387
- Software & Systems Modeling — https://www.myhuiban.com/journal/99
- Pattern Recognition — https://www.myhuiban.com/journal/198
- IEEE Transactions on Neural Networks and Learning Systems — https://www.myhuiban.com/journal/188

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