LICS: Logic in Computer Science



Past:   Proceedings on DBLP

Future:  Post a CFP for 2017 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
LICS 2016 Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science
Jul 5, 2016 - Jul 8, 2016 New York City, USA Jan 18, 2016 (Jan 11, 2016)
LICS 2015 Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science
Jul 6, 2015 - Jul 10, 2015 Kyoto, Japan Jan 19, 2015 (Jan 12, 2015)
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
Jul 14, 2014 - Jul 18, 2014 Vienna, Austria Jan 20, 2014 (Jan 13, 2014)
LICS 2013 28th Annual ACM/IEEE Symposium on Logic In Computer Science
Jun 25, 2013 - Jun 28, 2013 New Orleans, USA Jan 14, 2013 (Jan 7, 2013)
LICS 2012 27th Annual IEEE Symposium on Logic in Computer Science
Jun 25, 2012 - Jun 28, 2012 Dubrovnik, Croatia Jan 13, 2012 (Jan 6, 2012)
LICS 2011 Twenty-Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE
Jun 21, 2011 - Jun 24, 2011 Toronto, Canada Jan 12, 2011 (Jan 5, 2011)
LICS 2010 Twenty-Fifth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE
Jul 11, 2010 - Jul 14, 2010 Edinburgh, Scotland, U.K. Jan 17, 2010 (Jan 10, 2010)
LICS 2009 Twenty-Fourth Annual IEEE Symposium on Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science
Aug 11, 2009 - Aug 14, 2009 Los Angeles Jan 19, 2009 (Jan 12, 2009)
LICS 2008 23rd Annual IEEE Symposium on Logic in Computer Science
Jun 24, 2008 - Jun 27, 2008 Pittsburgh, PA Jan 7, 2008

Present CFP : 2016


Thirty-First Annual ACM/IEEE Symposium on

July 5–8, 2016, New York City, USA


The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic, broadly
construed. We invite submissions on topics that fit under that rubric.

Suggested, but not exclusive, topics of interest include: automata
theory, automated deduction, categorical models and logics,
concurrency and distributed computation, constraint programming,
constructive mathematics, database theory, decision procedures,
description logics, domain theory, finite model theory, formal aspects
of program analysis, formal methods, foundations of computability,
higher-order logic, lambda and combinatory calculi, linear logic,
logic in artificial intelligence, logic programming, logical aspects
of bioinformatics, logical aspects of computational complexity,
logical aspects of quantum computation, logical frameworks, logics of
programs, modal and temporal logics, model checking, probabilistic
systems, process calculi, programming language semantics, proof
theory, real-time systems, reasoning about security and privacy,
rewriting, type systems and type theory, and verification.


Authors are required to submit a paper title and a short abstract of
about 100 words in advance of submitting the extended abstract of the
paper. The exact deadline time on these dates is given by anywhere on
earth (AoE).

Titles and Short Abstracts Due: January 11, 2016
Full Papers Due: January 18, 2016
Author Feedback/Rebuttal Period: March 14-18, 2016
Author Notification: April 4, 2016
Final Versions Due for Proceedings: May 2, 2016

Deadlines are firm; late submissions will not be considered. All
submissions will be electronic via


Every full paper must be submitted in the ACM SIGPLAN Proceedings
2-column 10pt format and may not be longer than 10 pages, including
references. The LaTeX style file is available from the conference

The extended abstract must be in English and provide sufficient detail
to allow the program committee to assess the merits of the paper. It
should begin with a succinct statement of the issues, a summary of the
main results, and a brief explanation of their significance and
relevance to the conference and to computer science, all phrased for
the non-specialist. Technical development directed to the specialist
should follow. References and comparisons with related work must be
included. (If necessary, detailed proofs of technical results may be
included in a clearly-labeled appendix, to be consulted at the
discretion of program committee members.) Submissions not conforming
to the above requirements will be rejected without further
consideration. 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.

Results must be unpublished and not submitted for publication
elsewhere, including the proceedings of other symposia or workshops.
The program chair 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 it at the conference.


A session of short presentations, intended for descriptions of student
research, works in progress, and other brief communications, is
planned. These abstracts will not be published. Dates and guidelines
will be posted on the conference website.


An award in honor of the late Stephen C. Kleene will be given for the
best student paper(s), as judged by the program committee.


Full versions of up to three accepted papers, to be selected by the
program committee, will be invited for submission to the Journal of
the ACM. Additional selected papers will be invited to a special issue
of Logical Methods in Computer Science.


The symposium is sponsored by ACM SIGLOG and the IEEE Technical
Committee on Mathematical Foundations of Computing, in cooperation
with the Association for Symbolic Logic and the European Association
for Theoretical Computer Science.


Natarajan Shankar, SRI International


Samson Abramsky, U. Oxford
Jiri Adámek, TU Braunschweig
Amal Ahmed, Northeastern U.
Albert Atserias, U. Politècnica de Catalunya
Christel Baier, TU Dresden
Paul Beame, U. Washington
Lars Birkedal, Aarhus U.
Udi Boker, IDC Herzliya
Maria Paola Bonacina, U. Verona
Ahmed Bouajjani, LIAFA, U. Paris Diderot
Supratik Chakraborty, IIT Mumbai
Yijia Chen, Fudan U.
Robert Constable, Cornell U.
Amy Felty, U. Ottawa
Jane Hillston, U. Edinburgh
Atsushi Igarashi, Kyoto U.
Neil Immerman, U. Massachussetts at Amherst
Radha Jagadeesan, DePaul U.
Jan Krajíček, Charles U.
Kim Guldstrand Larsen, Aalborg U.
Annabelle McIver, Macquarie U.
Georg Moser, U. Innsbruck
Anca Muscholl, LaBRI, U. Bordeaux
Vivek Nigam, Federal U. of Paraíba
Michele Pagani, PPS, U. Paris Diderot
Christine Paulin-Mohring, U. Paris-Sud
Nir Piterman, U. Leicester
Jean-Francois Raskin, U. Libre de Bruxelles
Alexandra Silva, UCL
Viorica Sofronie-Stokkermans, U. Koblenz
Lutz Straßburger, INRIA
Carolyn Talcott, SRI International
Cesare Tinelli, U. Iowa
Helmut Veith, Vienna U. of Technology
Valeria de Paiva, Nuance Labs
Ron van der Meyden, U. New South Wales


Eric Koskinen, IBM Research


Patricia Bouyer-Decitre, CNRS & ENS Cachan


Sam Staton, U. Oxford


Martin Grohe, RWTH Aachen University


M. Abadi, R. Alur, P. Bouyer-Decitre, K. Chatterjee, M. Grohe,
M. Hasegawa, T. Henzinger, E. Koskinen, S. Kreutzer, O. Kupferman,
D. Miller, M. Mislove, L. Ong, C. Palamidessi, N. Shankar, A. Silva,
S. Staton, M. Vardi.

Related Resources

AAAI 2017   The Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)
IJBES 2016   International journal of Biomedical Engineering and Science
ICML 2017   34rd International Conference on Machine Learning
FSEN 2017   Fundamentals of Software Engineering
ORAJ 2016   Operations Research and Applications: An International Journal
ICCV 2017   International Conference on Computer Vision
NFM 2017   The 9th NASA Formal Methods Symposium
NIPS 2017   The Thirty-first Annual Conference on Neural Information Processing Systems
BIOEJ 2016   Bioscience & Engineering: An International Journal
SIGGRAPH 2017   International Conference on Computer Graphics and Interactive Techniques