ICTAC

International Colloquium on Theoretical Aspects of Computing