Collection
International Colloquium on Automata, Languages and Programming (ICALP 2020)
This collection contains expanded papers from 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).
Editors
-
Anuj Dawar
Anuj Dawar is Professor of Logic and Algorithms at the University of Cambridge. He serves as President of the European Association for Computer Science Logic (EACSL) and a member of the ACM SigLog Executive.
