Joint Annual Conference in Computer Science Logic and ACM/IEEE Symposium on Logic in Computer Science, Vienna, Austria, July 14–18, 2014 Journal uri icon