News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

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/LICS 2014), Vienna, Austria

Date: 14-18 July 2014
Location: Vienna, Austria
Deadline: 13 January 2014

CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

LICS is an annual international forum on theoretical and practical topics in computer science that relate to logic.

The organizers of these two series of meetings have chosen to join the 2014 editions of these meetings into a single event within the Federated Logic Conference (FLoC) that will be part of the Vienna Summer of Logic 2014. Thus, in 2014, these meetings will have one program committee, one program, and one proceedings. No decision has been made to hold CSL and LICS jointly beyond 2014.

For more information, see and http://lii.rwth-aachen.de/lics/csl-lics14/

We invite submissions on topics that fit the themes of both conferences. Title and Short Abstracts are due January 13, 2014.

Please note that this newsitem has been archived, and may contain outdated information or links.