European Association for Theoretical Computer Science