ICALP

The 53^rd 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

Danupon Nanongkai (Track co-chair), Max-Planck Institute for Informatics, Germany
Sayan Bhattacharya (Track co-chair), University of Warwick, UK
Aaron Bernstein, New York University, USA
Alantha Newman, CNRS, France
Alex B. Grilo, CNRS, France
Alexandra Lassota, TU Eindhoven, Netherlands
Alkida Balliu, Gran Sasso Science Institute, Italy
Amey Bhangle, University of California, Riverside, USA
Ami Paz, CNRS, France
Andreas Galanis, University of Oxford, UK
Andrei Bulatov, Simon Fraser University, Canada
Anupam Gupta, New York University, USA
Arindam Khan, Indian Institute of Science, India
Ce Jin, University of California, Berkeley, USA
Chien-Chung Huang, École Normale Supérieure, France
Christian Coester, University of Oxford, UK
Dániel Marx, CISPA, Germany
David Wajc, Technion, Israel
Ely Porat, Bar-Ilan University, Israel
Eunjin Oh, Pohang University of Science and Technology, South Korea
Eunjung Kim, Korea Advanced Institute of Science & Technology, South Korea
Evi Micha, University of Southern California, USA
François Le Gall, Nagoya University, Japan
Gramoz Goranci, University of Vienna, Austria
Guy Even, Max Planck Institute for Informatics, Germany and Tel Aviv University, Israel
Hanlin Ren, Institute for Advanced Study, Princeton, USA
Ian Mertz, Charles University, Czech Republic
Igor Oliveira, University of Warwick, UK
Ilias Zadik, Yale University, USA
Ioana Bercea, KTH Royal Institute of Technology, Sweden
Jakub Opršal, University of Birmingham, UK
Jan van den Brand, Georgia Tech, USA
Jeremy Fineman, Georgetown University, USA
Jesper Nederlof, Utrecht University, Netherlands
Joachim Spoerhase, University of Liverpool, UK
Joshua Grochow, University of Colorado, Boulder, USA
Jukka Suomela, Aalto University, Finland
Kangning Wang, Rutgers University, USA
Karol Węgrzycki, Max Planck Institute for Informatics, Germany
Kevin Tian, University of Texas, Austin, USA
Lars Rohwedder, University of Southern Denmark, Denmark
Lin Bingkai, Nanjing University, China
Maike Buchin, Ruhr University Bochum, Germany
Marcin Pilipczuk, University of Warsaw, Poland
Meirav Zehavi, Ben Gurion University, Israel
Michał Pilipczuk, University of Warsaw, Poland
Mikkel Abrahamsen, University of Copenhagen, Denmark
Nicole Megow, University of Bremen, Germany
Or Meir, University of Sheffield, UK and University of Haifa, Israel
Pan Peng, University of Science and Technology of China, China
Parinya Chalermsook, University of Sheffield, UK
Paweł Gawrychowski, University of Wrocław, Poland
Philip Wellnitz, National Institute of Informatics, Japan
Piyush Srivastava, TIFR, Mumbai, India
Pritish Kamath, Google Research, USA
Radu Curticapean, University of Regensburg, Germany and IT University of Copenhagen, Denmark
Rafael Oliveira, University of Waterloo, Canada
Rebecca Reiffenhäuser, University of Amsterdam, Netherlands
Robert Robere, Mcgill University, Canada
Sagnik Mukhopadhyay, University of Birmingham, UK
Sahil Singla, Georgia Tech, USA
Sándor Kisfaludi-Bak, Aalto University, Finland
Santhoshini Velusamy, University of Waterloo, Canada
Seeun William Umboh, The University of Melbourne, Australia
Sepehr Assadi, University of Waterloo, Canada
Seth Pettie, University of Michigan, USA
Shaofeng Jiang, Peking University, China
Shay Solomon, Tel Aviv University, Israel
Shi Li, Nanjing University, China
Shuichi Hirahara, National Institute of Informatics, Japan
Shunhua Jiang, ETH, Zurich, Switzerland
Sorrachai Yingchareonthawornchai, ETH, Zurich, Switzerland
Srikanth Srinivasan, University of Copenhagen, Denmark
Subhasree Patro, TU Eindhoven, Netherlands
Talya Eden, Bar-Ilan University, Israel
Thatchaphol Saranurak, University of Michigan, USA
Thomas Vidick, EPFL, Switzerland and Weizmann Institute of Science, Israel
Tom Gur, University of Cambridge, UK
Tomasz Kociumaka, Max Planck Institute for Informatics, Germany
Troy Lee, University of Technology Sydney, Australia
Uma Girish, Columbia University, USA
Vera Traub, ETH, Zurich, Switzerland
Will Perkins, Georgia Tech, USA
William Kuszmaul, Carnegie Mellon University, USA
Yaonan Jin, Huawei Research, China
Yuan Su, Microsoft and AWS, USA
Yuichi Yoshida, National Institute of Informatics, Japan
Zhengzhong Jin, Northeastern University, USA
Zhiyi Huang, The University of Hong Kong, China

Track B

Michael Benedikt (Track chair), University of Oxford, UK
Achim Blumensath, Masaryk University, Czech Republic
Alberto Larrauri, University of Zaragoza, Spain
Antti Kuusisto, University of Tampere, Finland
Bruno Oliveira, University of Hong Kong, Hong Kong/China
Christof Löding, RWTH Aachen University, Germany
Christoph Berkholz, TU Ilmenau, Germany
Édouard Bonnet, CNRS Lyon, France
Filip Mazowiecki, University of Warsaw, Poland
Frits Vaandrager, Radboud University, Netherlands
Gabriele Puppis, University of Udine, Italy
Guillermo Perez, University of Antwerp, Belgium
Hongseok Yang, KAIST, Korea
Isolde Adler, Universität Bamberg, Germany
Jakub Gajarský, University of Warsaw, Poland
Jean Goubault-Larrecq, Universite Paris-Saclay, France
Kirstin Peters, Augsburg University, Germany
Laura Ciobanu, Heriot Watt University, UK
Luca Reggio, University of Milan, Italy
Mahesh Viswanathan, University of Illinois at Urbana-Champaign, USA
Mahmoud Abo Khamis, RelationalAI, USA
Mahsa Shirmohammadi, CNRS & IRIF, France
Marie Fortin, IRIF, France
Matthias Lanzinger, TU Wien, Austria
Nikhil Balaji, IIT Delhi, India
Nikolas Mählmann, University of Warsaw, Poland
Richard Mayr, University of Edinburgh, UK
Ruiwen Dong, University of Oxford, UK
Shaull Almagor, Technion, Israel
Silvia Butti, King’s College London, UK
Stephane Demri, CNRS, ENS Paris-Saclay, France
Tim Seppelt, IT-University of Copenhagen, Denmark
Tony Tan, University of Liverpool, UK
Udi Boker, Reichman University, Israel
Victor Dalmau, Universitat Pompeu Fabra, Spain