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 12
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

DRCN 2021 : 17th International Conference on Design of Reliable Communication Networks

Deadline :
Tue 01 Dec 2020
Apr 19, 2021 - Apr 22, 2021 - Milan
Italy

HCIS 2021 : 14th International Conference on Human Centred Intelligent Systems

Deadline :
Mon 11 Jan 2021
Jun 14, 2021 - Jun 16, 2021 - Rome
Italy

IDT 2021 : 13th International Conference on Intelligent Decision Technologies

Deadline :
Mon 11 Jan 2021
Jun 14, 2021 - Jun 16, 2021 - Rome
Italy