“...Computer Science Logic Workshop San Miniato, Itálie)...”