CSL-LICS 2014: CALL FOR PAPERS

CSL-LICS 2014 – Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th ACM/IEEE Symposium on Logic in Computer Science
July 14-18, 2014 · Vienna, Austria

http://lii.rwth-aachen.de/lics/csl-lics14/