Ranking & Metrics
Impact Score is a novel metric devised to rank conferences based on the number of contributing top scientists in addition to the h-index estimated from the scientific papers published by top scientists. See more details on our methodology page.
Research Impact Score:2.48
Contributing Top Scientist:31
Papers published by Top Scientists36
Research Ranking (Computer Science)332
Conference Call for Papers
The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science (EATCS), will take place in Beijing (China) on 8 - 12 July 2020. ICALP 2020 will have the two traditional tracks A (Algorithms, Complexity and Games) and B (Automata, Logic, Semantics and Theory of Programming). ICALP 2020 will be hosted at Peking University, in co-location with LICS 2020.
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 Aspects of Networks and Networking
Algorithms for Computational Biology
Algorithmic Game Theory
Combinatorial Optimization
Combinatorics in Computer Science
Computational Complexity
Computational Geometry
Computational Learning Theory
Cryptography
Data Structures
Design and Analysis of Algorithms
Foundations of Machine Learning
Foundations of Privacy, Trust and Reputation in Network
Network Models for Distributed Computing
Network Economics and Incentive-Based Computing Related to Networks
Network Mining and Analysis
Parallel, Distributed and External Memory Computing
Quantum Computing
Randomness in Computation
Theory of Security in Networks
Track B (Automata, Logic, Semantics and Theory of Programming)
Algebraic and Categorical Models
Automata, Games, and Formal Languages
Emerging and Non-standard Models of Computation
Databases, Semi-Structured Data and Finite Model Theory
Formal and Logical Aspects of Learning
Logic in Computer Science, Theorem Proving and Model Checking
Models of Concurrent, Distributed, and Mobile Systems
