ICALP: International Colloquium on Automata, Languages and Programming

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2022 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
ICALP 2021 International Colloquium on Automata, Languages and Programming
Jul 12, 2021 - Jul 16, 2021 Glasgow, Scotland Feb 12, 2021
ICALP 2020 47th International Colloquium on Automata, Languages and Programming
Jul 8, 2020 - Jul 12, 2020 Beijing, China Feb 12, 2020
ICALP 2019 46th International Colloquium on Automata, Languages, and Programming
Jul 8, 2019 - Jul 12, 2019 Patras, Greece Feb 18, 2019
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 2012 39th International Colloquium on Automata, Languages and Programming
Jul 9, 2012 - Jul 13, 2012 Warwick, UK Feb 21, 2012
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 : 2021

First Call for Papers

The 48th International Colloquium on Automata, Languages, and Programming (ICALP) will take place in Glasgow, Scotland, on 12-16 July 2021. We hope to be able to run a normal physical conference, but we will monitor the global travel situation and consider whether it is necessary to provide options for remote participation.

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

Submission deadline: Friday 12 February 2021, 23:59 AoE
Notification: Wednesday 28 April 2021
Camera-ready deadline: Friday 7 May 2021

Deadlines are firm; late submissions will not be considered.
Submissions and 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.
Submission guidelines

Authors are invited to submit an extended abstract of no more than 12 pages, excluding references presenting original research on the theory of computer science. All submissions must be formatted in the LIPIcs style https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ and submitted via Easychair to the appropriate track of the conference. The use of pdflatex and the LIPIcs style are mandatory: papers that deviate significantly from the required format may be rejected without consideration of merit.

No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed.

Technical details necessary for a proper scientific evaluation of a submission must be included in the 12-page submission or in a clearly labelled appendix, to be consulted at the discretion of program committee members. Authors are strongly encouraged to also make full versions of their submissions freely accessible in an on-line repository such as ArXiv, HAL, ECCC.
Best Paper Awards

As in previous editions of ICALP, there will be best paper and best student paper awards for each track of the conference. In order to be eligible for a best student paper award, a paper should be authored only by students and should be marked as such upon submission.
Topics

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 Complexity Aspects of Network Economics
Algorithmic Aspects of Networks and Networking
Algorithmic Aspects of Security and Privacy
Algorithms for Computational Biology
Algorithmic Game Theory and Mechanism Design
Approximation and Online 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
Foundations of Machine Learning
Graph Mining and Network Analysis
Parallel and External Memory Computing
Quantum Computing
Randomness in Computation
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

ICALP 2021 Programme Committees
Track A: Algorithms, Complexity and Games

Nikhil Bansal (CWI Amsterdam, Netherlands), Chair
Yossi Azar (Tel Aviv University, Israel)
Luca Becchetti (Sapienza University of Rome, Italy)
Alexander Belov (University of Latvia, Latvia)
Eric Blais (University of Waterloo, Canada)
Niv Buchbinder (Tel Aviv University, Israel)
Kevin Buchin (TU Eindhoven, Netherlands)
Parinya Chalermsook (Aalto University, Finland)
Vincent Cohen-Addad (Google Research, Switzerland)
Shahar Dobzinski (Weizmann Institute, Israel)
Ran Duan (Tsinghua University, China)
Vida Dujmovic (University of Ottawa, Canada)
Yuval Filmus (Technion, Israel)
Samuel Fiorini (Université libre de Bruxelles, Belgium)
Andreas Galanis (University of Oxford, UK)
Mika Göös (EPFL, Switzerland)
Inge Li Gørtz (TU Denmark, Denmark)
Heng Guo (University of Edinburgh, UK)
Prahladh Harsha (TIFR, Mumbai, India)
Sungjin Im (UC Merced, USA)
Stacey Jeffery (CWI Amsterdam, Netherlands)
Iordanis Kerenidis (CNRS – Université Paris Diderot, France)
Michael Kapralov (EPFL, Switzerland)
Ravi Kumar (Google Research, USA)
Stefan Kratsch (HU Berlin, Germany)
Silvio Lattanzi (Google Research, Switzerland)
Shi Li (SUNY Buffalo, USA)
Konstantin Makarychev (Northwestern University, USA)
Marcin Mucha (University of Warsaw, Poland)
Wolfgang Mulzer (FU Berlin, Germany)
Jesper Nederlof (Utrecht University, Netherlands)
Aleksandar Nikolov (University of Toronto, Canada)
Neil Olver (LSE, UK)
Rasmus Pagh (IT University of Copenhagen, Denmark)
Merav Parter (Weizmann Institute, Israel)
Alexandros Psomas (Purdue University, USA)
Barna Saha (UC Berkeley, USA)
Thatchaphol Saranurak (University of Michigan, USA)
Rahul Savani (University of Liverpool, UK)
Mohit Singh (Georgia Tech, USA)
Sahil Singla (IAS/Princeton, USA)
Noah Stephens-Davidowitz (Cornell University, USA)
László Végh (LSE, UK)
Meirav Zehavi (Ben-Gurion University, Israel)

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

James Worrell (University of Oxford, UK), Chair
Parosh Aziz Abdulla (Uppsala University, Sweden)
S. Akshay (Indian Institute of Technology Bombay, India)
Nathalie Bertrand (Inria Rennes, France)
Michael Blondin (Université de Sherbrooke, Canada)
Olivier Carton (IRIF, Université de Paris, France)
Corina Cîrstea (University of Southampton, UK)
Dana Fisman (Ben Gurion University, Israel)
Paul Gastin (LSV, ENS Paris-Saclay, France)
Stefan Göller (University of Kassel, Germany)
Radha Jagadeesan (DePaul University Chicago, USA)
Bakhadyr Khoussainov (University of Auckland, New Zealand)
Emanuel Kieronski (Wroclaw University, Poland)
Bartek Klin (Warsaw University, Poland)
Barbara König (University of Duisburg-Essen, Germany)
Laura Kovacs (Vienna University of Technology, Austria)
Ugo Dal Lago (University of Bologna and Inria, Italy)
Christoph Löding (RWTH Aachen University, Germany)
Madhavan Mukund (Chennai Mathematical Institute, India)
Sebastian Maneth (University of Bremen, Germany)
Richard Mayr (University of Edinburgh, UK)
Annabelle McIver (Macquarie University, Australia)
Sophie Pinchinat (IRISA, Université de Rennes, France)
Cristian Riveros (Pontificia Universidad Católica de Chile, Chile)
Davide Sangiorgi (University of Bologna and Inria, Italy)
Lijun Zhang (Institute of Software, Chinese Academy of Sciences, China)

ICALP 2021 Organizing Committee

Simon Gay, Conference Chair
Oana Andrei
Ornela Dardha
Jessica Enright
David Manlove
Kitty Meeks
Alice Miller
Gethin Norman
Sofiat Olaosebikan
Patrick Prosser
Michele Sevegnani

 

Related Resources

MVA 2021   17th International Conference on Machine Vision Applications
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
CAIJ 2020   Computer Applications: An International Journal
ASPLOS 2021   Architectural Support for Programming Languages and Operating Systems
IJCAX 2020   International Journal of Computer-Aided technologies
LCPC 2020   Languages and Compilers for Parallel Computing
MathSJ 2020   Applied Mathematics and Sciences: An International Journal
IJPLA 2020   International Journal of Programming Languages and Applications
LATA 2020 & 2021   14th International Conference on Language and Automata Theory and Applications
IJANS 2020   International Journal on AdHoc Networking Systems