ICALP 2021 : International Colloquium on Automata, Languages and Programming

in Conferences   Posted on November 4, 2020 

Conference Information

Submission Deadline Friday 12 Feb 2021 Proceedings indexed by :
Conference Dates Jul 12, 2021 - Jul 16, 2021
Conference Address Glasgow, United Kingdom
Conference & Submission Link http://easyconferences.eu/icalp2021/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Impact Score 2.48
#Contributing Top Scientists 31
#Papers published by Top Scientists 36
Google Scholar H5-index 32
Guide2Research Overall Ranking: 332
Category Rankings
Software Engineering & Programming 72
DBLP Page https://dblp.uni-trier.de/db/conf/icalp

Conference 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 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

Other Conferences in United Kingdom

SSPD 2021 : Sensor Signal Processing for Defence Conference

Deadline :
Fri 16 Apr 2021
Sep 14, 2021 - Sep 15, 2021 - Edinburgh
United Kingdom

SPLC 2021 : International Systems and Software Product Line Conference

Deadline :
Fri 16 Apr 2021
Sep 6, 2021 - Sep 11, 2021 - Leicester
United Kingdom

ICAC 2021 : International Conference on Automation and Computing

Deadline :
Fri 30 Apr 2021
Sep 2, 2021 - Sep 4, 2021 - Portsmouth
United Kingdom

ICRV 2021 : The 6th International Conference on Robotics and Vision

Deadline :
Wed 05 May 2021
Aug 6, 2021 - Aug 8, 2021 - London
United Kingdom