Theoretical Aspects of Computing ' ICTAC 2021