Theoretical Aspects of Computing – ICTAC 2020

This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.