CSL-LICS Call for Papers
|
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
|
|