Computer Science Logic door European Association for Computer Scienc