LICS 2016 will be hosted in New York City during July 5-8, 2016. This event also marks the thirtieth anniversary of LICS.
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.
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
verification
Every full paper must be submitted in the ACM SIGPLAN Proceedings 2-column 9pt format and may not be longer than 10 pages, including references. The LaTeX style file is available from here.
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.
07月05日
2016
07月08日
2016
注册截止日期
2021年06月29日 意大利 Rome
2021年第36届ACM/IEEE计算机科学逻辑研讨会2019年06月24日 加拿大
2019年第34届ACM/IEEE计算机科学逻辑研讨会2018年07月09日 英国
2018年第33届ACM/IEEE计算机科学逻辑研讨会2017年06月20日 冰岛 Reykjavik,Iceland
2017年第32届ACM/IEEE计算机科学逻辑研讨会2013年06月25日 美国
2013年第28届ACM/IEEE计算机科学逻辑研讨会
留言