European Association For Theoretical Computer Science