posted by user: klumppdo || 3035 views || tracked by 7 users: [display]

ICALP 2023 : International Colloquium on Automata, Languages and Programming

FacebookTwitterLinkedInGoogle


Conference Series : International Colloquium on Automata, Languages and Programming
 
 
When Jul 10, 2023 - Jul 14, 2023
Where Paderborn, Germany
Submission Deadline Feb 11, 2023
Notification Due Apr 21, 2023
Final Version Due May 5, 2023
Categories    automata theory
 

Call For Papers

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 July 10.

The 2023 edition has the following features:

Submissions are anonymous, and there is a rebuttal phase.
The conference is planned as a physical, in-person event.
This will be the 50th ICALP conference and some special events are planned.

Important dates and information

Submissions: February 11, 2023 at 11am CET
Rebuttal: March 22-25, 2023
Author notification: April 21, 2023
Camera-ready version: May 5, 2023
Early registration: TBA
Conference: July 10-14, 2023 (Workshops on July 10, 2023)

Deadlines are firm; late submissions will not be considered.

Conference website: https://icalp2023.cs.upb.de/
Twitter: @ICALPconf
Submission (tracks A and B): EasyChair ICALP 2023


Submission 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 take the form of an extended abstract of no more than 15 pages, excluding references and a clearly labelled appendix. The appendix may consist either of omitted proofs or of a full version of the submission, and it will be read at the discretion of program committee members. The extended abstract has to present the merits of the paper and its main contributions clearly, and describe the 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 fully verified.
Submissions are anonymous. The conference will employ a fairly lightweight double-blind reviewing process. Submissions should not reveal the identity of the authors in any way. In particular, authors’ names, affiliations, and email addresses should not appear at the beginning or in the body of the submission. 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 or anonymized. 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.
The submissions are done via Easychair to the appropriate track of the conference (see topics below). The use of pdflatex and the LIPIcs style are mandatory: papers that deviate significantly from the required format risk rejection without consideration of merit.
During the rebuttal phase, authors will have from March 22-25 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 required 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.
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 Biological and Physical Systems
Algorithmic Aspects of Networks and Networking
Algorithmic Aspects of Security and Privacy
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
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

Related Resources

ICALP 2024   International Colloquium on Automata, Languages and Programming
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
OOPSLA 2024   The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R2)
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
NYC-2024-SE 2024   New York Annual Conference on Software Engineering 2024
APLAS 2024   The 22nd Asian Symposium on Programming Languages and Systems
ECOOP (R2) 2024   European Conference on Object-Oriented Programming
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
PPDP 2024   The 26th International Symposium on Principles and Practice of Declarative Programming
COORDINATION 2024   26th International Conference on Coordination Models and Languages