posted by user: gauwin || 10322 views || tracked by 39 users: [display]

LICS 2014 : Joint meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science


Conference Series : Logic in Computer Science
When Jul 14, 2014 - Jul 18, 2014
Where Vienna, Austria
Abstract Registration Due Jan 13, 2014
Submission Deadline Jan 20, 2014
Notification Due Mar 31, 2014
Final Version Due May 15, 2014
Categories    logic   theoretical computer science   computation theory   formal methods

Call For Papers

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.
Call for Papers

We invite submissions on topics that fit the themes of both conferences. These topics include (but are not limited to):

Automata theory; automated deduction; categorical models and logics; constraints programming; constructive mathematics; database theory; decision procedures; domain theory; finite model theory; formal languages; formal methods in software engineering; foundations of computability; functional and reactive synthesis; game semantics; graph games; higher-order logic; lambda and combinatory calculi; linear logic; logic programming; logics for AI; logics of programs; logical aspects of computational complexity; modal and temporal logics; model checking; program analysis; proof theory; semantics of programming languages; specification and verification of hardware, software, and complex systems; term rewriting; and type theory. Also welcome are papers describing models and logics for biological systems; concurrent, distributed, and mobile computation; quantum computation; security; and real-time, probabilistic, and hybrid systems.

Instructions to Authors

Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the full paper. Every full paper must be submitted in the IEEE Proceedings 2-column 10-point format and may not be longer than 10 pages, including references. (Use these LaTeX style files.) The full paper must be in English and provide sufficient detail to allow the program committee to assess its merits. Full proofs may appear in a technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the program committee.

The results reported in submissions must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. The program chairs must be informed in advance of submission of any closely related work submitted or about to be submitted to a conference or journal. Authors of accepted papers are expected to sign copyright release forms. One author of each accepted paper is expected to present that paper at the conference.

Paper selection will be merit-based, with no a priori limit on the number of accepted papers.

Papers authored or co-authored by members of the program committee are not allowed.


The exact deadline time on these dates is given by anywhere on earth (AoE).
Title and Short Abstracts Due January 13, 2014
Full Papers Due January 20, 2014
Author Notification March 31, 2014
Final Versions Due for Proceedings May 15, 2014

Deadlines are firm; late submissions will not be possible. All submissions are made electronically via

The Kleene Award for Best Student Paper will be given for the best student paper(s), as judged by the program committee.
The EACSL Outstanding Dissertation Award, named for Wilhelm F. Ackermann, will be presented during the joint meeting.
The LICS Test-of-Time Award 2014 will be presented during the joint meeting.


The joint meeting is sponsored by the European Association for Computer Science Logic, the IEEE Technical Committee on Mathematical Foundations of Computation, and by the ACM SIGACT in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science.

Related Resources

SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
FM 2021   Formal Methods 2021
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
ICRE--EI Compendex, Scopus 2021   2021 5th International Conference on Reliability Engineering (ICRE 2021)--EI Compendex, Scopus
FSEN 2021   9th IPM International Conference on Fundamentals of Software Engineering
SI-DAMLE 2020   Special Issue on Data Analytics and Machine Learning in Education
WIIS 2020   Workshop on Intelligent Information Systems
4th ICSTR Rome 2021   4th ICSTR Rome – International Conference on Science & Technology Research, 09-10 September 2021
ICFSP--IEEE, Ei, Scopus 2021   IEEE--2021 6th International Conference on Frontiers of Signal Processing (ICFSP 2021)--Ei Compendex, Scopus