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)

Impact Score 3.96
#Contributing Top Scientists 32
#Papers published by Top Scientists 41
Google Scholar H5-index 31
Guide2Research Overall Ranking: 160
Category Rankings
Computational Theory and Mathematics 15
Proceedings https://ieeexplore.ieee.org/xpl/conhome/1000420/all-proceedings

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

INTERACT 2021 : IFIP Conference on Human-Computer Interaction

Deadline :
Wed 20 Jan 2021
Aug 30, 2021 - Sep 3, 2021 - Bari
Italy

ITP 2021 2021 : International Conference on Interactive Theorem Proving

Deadline :
Mon 25 Jan 2021
Jun 29, 2021 - Jul 1, 2021 - Rome
Italy

PODC 2021 : Principles of Distributed Computing

Deadline :
Thu 11 Feb 2021
Jul 26, 2021 - Jul 30, 2021 - Salerno
Italy

IWBF 2021 : 9th IEEE International Workshop on Biometrics and Forensics

Deadline :
Sun 21 Feb 2021
May 6, 2021 - May 7, 2021 - Rome
Italy

SPAWC 2021 : IEEE Workshop on Signal Processing Advances in Wireless Communications

Deadline :
Fri 26 Feb 2021
May 25, 2021 - May 28, 2021 - Lucca
Italy