Communiqués par European Association for Computer Science Logic