Logical Methods in Computer Science (Logical Methods in Computer Science e.V., 2004)