LICS 2021 : IEEE Symposium on Logic in Computer Science
in Conferences Posted on August 4, 2020Conference 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 Ranking & Metrics (This is a TOP Conference)
|
|
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
|
![]() |
![]() |
ESEM 2021 : International Symposium on Empirical Software Engineering and Measurement |
Deadline : Mon 12 Apr 2021 |
|
Oct 11, 2021 - Oct 15, 2021 - Bari
|
![]() |
![]() |
MED 2021 : 29th Mediterranean Conference on Control and Automation |
Deadline : Thu 15 Apr 2021 |
|
Jun 22, 2021 - Jun 25, 2021 - Puglia
|
![]() |
![]() |
NANOCOM 2021 : Annual ACM International Conference on Nanoscale Computing and Communication |
Deadline : Thu 15 Apr 2021 |
|
Sep 7, 2021 - Sep 9, 2021 - Catania
|
![]() |
![]() |
SEAA 2021 : EUROMICRO Conference on Software Engineering and Advanced Applications |
Deadline : Tue 20 Apr 2021 |
|
Sep 1, 2021 - Sep 3, 2021 - Palermo
|
![]() |