Theoretical Aspects of Computing – ICTAC 2020 - Pun (Springer International Publishing, 2020)