“...European Association for Computer Science Logic. Conference...”