The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2017 will be hosted at Reykjavik University during 20–23 June 2017, with affiliated workshops 18–19 June.
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, games and logic, 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.
06月20日
2017
06月23日
2017
摘要截稿日期
初稿截稿日期
初稿录用通知日期
终稿截稿日期
注册截止日期
2021年06月29日 意大利 Rome
2021年第36届ACM/IEEE计算机科学逻辑研讨会2019年06月24日 加拿大
2019年第34届ACM/IEEE计算机科学逻辑研讨会2018年07月09日 英国
2018年第33届ACM/IEEE计算机科学逻辑研讨会2016年07月05日 美国 New York,USA
2016年第31届ACM/IEEE计算机逻辑科学研讨会2013年06月25日 美国
2013年第28届ACM/IEEE计算机科学逻辑研讨会
留言