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

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

Deadline :
Sun 11 Apr 2021
Sep 27, 2021 - Sep 30, 2021 - Lucca
Italy

ESEM 2021 : International Symposium on Empirical Software Engineering and Measurement

Deadline :
Mon 12 Apr 2021
Oct 11, 2021 - Oct 15, 2021 - Bari
Italy

MED 2021 : 29th Mediterranean Conference on Control and Automation

Deadline :
Thu 15 Apr 2021
Jun 22, 2021 - Jun 25, 2021 - Puglia
Italy

NANOCOM 2021 : Annual ACM International Conference on Nanoscale Computing and Communication

Deadline :
Thu 15 Apr 2021
Sep 7, 2021 - Sep 9, 2021 - Catania
Italy

SEAA 2021 : EUROMICRO Conference on Software Engineering and Advanced Applications

Deadline :
Tue 20 Apr 2021
Sep 1, 2021 - Sep 3, 2021 - Palermo
Italy