VSL 2014: VIENNA SUMMER OF LOGIC 2014
CSL-LICS 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/