Theoretical Aspects of Computing ICTAC 2020