\n

CSL i s the annual meeting of the European Association f or\n Computer Science Logic (EACSL) intended for computer scientists\n whose research acti vities involve logic, as well as for\n logici ans working on issues significant for computer sci ence.\n

\nLICS is an annual inte rnational forum on theoretical and\n practica l topics in computer science that relate to logic. \n

\nThe organizers of these two series of meetings have chosen to\n join the 2014 editions of these meetings into a single eve nt\n within the Federated Logic Conference (F LoC) that will be part\n of the Vienna Summer of Logic 2014. Thus, in 2014, these\n meetin gs will have one program committee, one program, a nd one\n proceedings. No decision has been ma de to hold CSL and LICS\n jointly beyond 2014 .\n

\n \n \nFor more inf ormation, see\n and http ://lii.rwth-aachen.de/lics/csl-lics14/\n

\n\n

URL:/NewsandEvents/Archives/2014/newsitem/5416/14-
18-July-2014-Twenty-Third-EACSL-Annual-Conference-
on-Computer-Science-Logic-Twenty-Ninth-Annual-ACM-
IEEE-Symposium-on-Logic-in-Computer-Science-CSL-LI
CS-2014-Vienna-Austria
END:VEVENT
END:VCALENDAR
We invite submissi ons on topics that fit the themes of both\n c onferences. Title and Short Abstracts are due Janu ary 13, 2014.\n

\n