LICS 2021 : IEEE Symposium on Logic in Computer Science

  in Conferences   Posted on August 4, 2020

Conference Information

Submission Deadline Wednesday 20 Jan 2021 Proceedings indexed by :
Conference Dates Jun 29, 2021 - Jul 2, 2021
Conference Address Rome, Italy
Conference & Submission Link http://easyconferences.eu/lics2021/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 191
Category Rankings
Computational Theory and Mathematics 17

Google Scholar H5-index:
24

Conference Call for Papers

LICS 2021, will be hosted in Rome, Italy, 29 June – 02 July 2021. LICS 2021 will be co-located with ITP 2021 and ICTCS 2021.

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, games and logic, higher-order logic, knowledge representation and reasoning, lambda and combinatory calculi, linear logic, logic programming, logical aspects of AI, 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.

Other Conferences in Italy

WAIN 2020 : Workshop on AI in Networks and Distributed Systems

Deadline :
Tue 15 Sep 2020
Nov 2, 2020 - Nov 6, 2020 - Milan
Italy

ICSIE 2020 : The 9th International Conference on Software and Information Engineering

Deadline :
Fri 25 Sep 2020
Nov 11, 2020 - Nov 13, 2020 - Cairo
Italy

ICMV : The 13th International Conference on Machine Vision

Deadline :
Fri 25 Sep 2020
Jan 1, 1970 - Jan 1, 1970 - Rome
Italy

ECIR 2021 : European Conference on Information Retrieval

Deadline :
Thu 01 Oct 2020
Mar 28, 2021 - Apr 1, 2021 - Lucca
Italy

ECIR 2021 : European Conference on Information Retrieval

Deadline :
Thu 01 Oct 2020
Mar 28, 2021 - Apr 1, 2021 - Lucca
Italy