ICALP: International Colloquium on Automata, Languages and Programming

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2027 or later

 
 

All CFPs on WikiCFP

Event When Where Deadline
ICALP 2026 International Colloquium on Automata, Languages and Programming
Jul 7, 2026 - Jul 10, 2026 London, England, UK Feb 6, 2026 (Feb 3, 2026)
ICALP 2025 International Colloquium on Automata, Languages and Programming
Jul 8, 2025 - Jul 8, 2025 Aarhus, Denmark Feb 8, 2025
ICALP 2024 International Colloquium on Automata, Languages and Programming
Jul 8, 2024 - Jul 12, 2024 Tallinn, Estonia Feb 13, 2024
ICALP 2023 International Colloquium on Automata, Languages and Programming
Jul 10, 2023 - Jul 14, 2023 Paderborn, Germany Feb 11, 2023
ICALP 2022 International Colloquium on Automata, Languages and Programming
Jul 4, 2022 - Jul 8, 2022 Paris, France Feb 10, 2022
ICALP 2021 International Colloquium on Automata, Languages and Programming
Jul 12, 2021 - Jul 16, 2021 Glasgow, Scotland Feb 12, 2021
ICALP 2018 International Colloquium on Automata, Languages and Programming
Jul 9, 2018 - Jul 13, 2018 Prague, Czech Republic Feb 16, 2018
ICALP 2017 44th International Colloquium on Automata, Languages, and Programming
Jul 10, 2017 - Jul 14, 2017 Warsaw, Poland Feb 17, 2017
ICALP 2016 43rd International Colloquium on Automata, Languages, and Programming
Jul 11, 2016 - Jul 15, 2016 Rome Feb 17, 2016
ICALP 2015 42nd International Colloquium on Automata, Languages, and Programming
Jul 6, 2015 - Jul 10, 2015 Kyoto, Japan Feb 17, 2015
ICALP 2014 International Colloquium on Automata, Languages and Programming
Jul 7, 2014 - Jul 11, 2014 IT University of Copenhagen Feb 14, 2014
ICALP 2013 40th International Colloquium on Automata, Languages and Programming
Jul 8, 2013 - Jul 12, 2013 Riga, Latvia Feb 15, 2013
ICALP 2011 The 38th International Colloquium on Automata, Languages and Programming
Jul 4, 2011 - Jul 8, 2011 Zürich, Switzerland Feb 15, 2011
ICALP 2010 International Colloquium on Automata, Languages and Programming
Jul 5, 2010 - Jul 12, 2010 Bordeaux France Feb 10, 2010
ICALP 2009 36th International Colloquium on Automata, Languages and Programming
Jul 5, 2009 - Jul 12, 2009 Rhodes, Greece Feb 10, 2009
ICALP 2008 International Colloquium on Automata, Languages and Programming
Jul 6, 2008 - Jul 13, 2008 Reykjavik Feb 10, 2008
 
 

Present CFP : 2026

The 53rd EATCS International Colloquium on Automata, Languages, and Programming (ICALP) will take place between 7–10 July, 2026.

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, the conference will be preceded by a series of workshops, which will take place on 6 July 2026.
Call for Papers

Papers presenting original research on all aspects of theoretical computer science are sought. Typical, but not exclusive, topics of interest are:
Track A: Algorithms Complexity and Games

Algorithmic and computational complexity aspects of biological and social networks
Algorithmic Aspects of Security and Privacy
Algorithmic Game Theory and Mechanism Design
Approximation algorithms
Combinatorial Optimization
Combinatorics in Computer Science
Computational Complexity
Computational Geometry
Computational Learning Theory
Cryptography
Data Structures
Design and Analysis of Algorithms
Distributed and Mobile Computing
Dynamic Algorithms
Foundations of Machine Learning
Graph Mining and Network Analysis
Online Algorithms
Parallel and External Memory Computing
Parameterized Complexity
Quantum Computing
Randomness in Computation
Sublinear Time and Streaming Algorithms
Theoretical Foundations of Algorithmic Fairness

Track B: Automata, Logic, Semantics, and Theory of Programming

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

Important dates and information

Abstract Registration Deadline: 3 February 2026 (AoE)
Submission Deadline: 6 February 2026 (AoE)
Track B rebuttal period: 21–24 March 2026 (For Track A: Authors will be contacted only if there are correctness issues)
Author notification: 20 April 2026
Conference: 7–10 July 2026 (Workshops on July 6)

Submission Guidelines

Submissions to ICALP 2026 use HotCRP system:

Submission server Track A: https://icalp26-a.hotcrp.com
Submission server Track B: https://icalp26-b.hotcrp.com

Guidelines:

Papers must present original research on the theory of computer science. No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed. Authors are encouraged to also make full versions of their submissions freely accessible in an on-line repository such as ArXiv, HAL, ECCC.

Submissions should start with a title page consisting of the title of the paper, no author information (see below), and an abstract. There is no page limit and authors are encouraged to use the “full version” of their paper as the submission. The submission should contain, within the initial ten pages following the title page, a clear presentation of the merits of the paper, its main contributions, and key concepts and technical ideas used to obtain the results. Submissions must provide the proofs which can enable the main mathematical claims of the paper to be verified. Although there is no bound on the length of a submission, material other than the abstract, references, and the first ten pages will be read at the committee’s discretion. The submission should be typeset using readable fonts (e.g. 11-point), in a single-column format with ample spacing throughout (e.g. single-space between lines and 1-inch margins all around).

Submissions are anonymous. The conference will employ a lightweight double-blind reviewing process. Submissions should not reveal the identity of the authors in any way. Authors should ensure that any references to their own related work are in the third person (e.g., not “We build on our previous work…” but rather “We build on the work of …”).

The purpose of this double-blind process is to help PC members and external reviewers come to an initial judgment about the paper without bias, and not to make it impossible for them to discover who the authors are if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, important references should not be omitted. In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For example, authors may post drafts of their papers on the web, submit them to arXiv, and give talks on their research ideas.

Submissions authored or co-authored by members of the program committee are allowed.

The submissions are done via HotCRP to the appropriate track of the conference. The use of pdflatex or similar pdf generating tools is mandatory. Papers that deviate significantly from these requirements risk rejection without consideration of merit.

For Track A, the authors will be contacted only when the correctness issues are of concern. For Track B, the authors will have the opportunity to view and respond to initial reviews. Further instructions will be sent to authors of submitted papers before that time.

At least one author of each accepted paper is expected to register for the conference, and all talks are in-person. In exceptional cases, there may be support for remotely presenting a talk.

Papers authored only by students should be marked as such upon submission in order to be eligible for the best student paper awards of the track.

Proceedings

ICALP proceedings are published in the Leibniz International Proceedings in Informatics (LIPIcs) series. This is a series of high-quality conference proceedings across all fields in informatics established in cooperation with Schloss Dagstuhl – Leibniz Center for Informatics. LIPIcs volumes are published according to the principle of Open Access, i.e., they are available online and free of charge. The accepted papers will need to comply with the LIPIcs style.
Awards

During the conference, the following awards will be delivered:

EATCS award
Presburger award
EATCS distinguished dissertation award
Best papers for Track A and Track B
Best student papers for Track A and Track B

Program Committee
Track A

Sayan Bhattacharya (Track co-chair)
Danupon Nanongkai (Track co-chair)

Track B

Michael Benedikt (Track chair)

Steering Committee

Thore Husfeldt
Pino Italiano
 

Related Resources

Ei/Scopus-ITCC 2026   2026 6th International Conference on Information Technology and Cloud Computing (ITCC 2026)
ICALP 2025   International Colloquium on Automata, Languages and Programming
IEEE-ACAI 2025   2025 IEEE 8th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2025)
IJPLA 2025   International Journal of Programming Languages and Applications
CACML 2026   2026 5th Asia Conference on Algorithms, Computing and Machine Learning (CACML 2026)
ASPLOS 2026   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems - Summer
Ei/Scopus-MLBDM 2025   2025 5th International Conference on Machine Learning and Big Data Management (MLBDM 2025)
FLOPS 2026   18th International Symposium on Functional and Logic Programming
SLE 2026   19th ACM SIGPLAN International Conference on Software Language Engineering
SCM 2025   8th International Conference on Soft Computing, Control and Mathematics