Conference Information
LICS 2024: IEEE Symposium on Logic in Computer Science
Submission Date:
Notification Date:
Conference Date:
Tallinn, Estonia
CCF: a   CORE: a*   QUALIS: a2   Viewed: 28855   Tracked: 41   Attend: 6

Call For Papers
The 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024) will be held in Tallinn, Estonia, from 8 – 12 July. It will be colocated with ICALP 2024 and FSCD 2024.

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, foundations of probabilistic, real-time and hybrid systems, 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, process calculi, programming language semantics, proof theory, reasoning about security and privacy, rewriting, type systems, type theory, and verification.
Last updated by Dou Sun in 2023-11-11
Acceptance Ratio
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICCSMInternational Conference on Computer, Software and Modeling2022-02-252022-03-252022-07-21
ICMUInternational Conference on Mobile Computing and Ubiquitous Networking2018-05-252018-07-062018-10-05
cb1GLSVLSIGreat Lakes Symposium on VLSI2024-02-092024-03-222024-06-05
EDUTECInternational Conference on Education and Technology2022-12-312022-01-122023-01-21
ba1MobisysInternational Conference on Mobile Systems, Applications and Services2023-11-232024-03-062024-06-03
AmIEuropean Conference on Ambient Intelligence2019-07-192019-08-122019-11-13
b4ISTInternational Conference on Imaging Systems and Techniques2018-07-312018-08-152018-10-16
aa*a1SODAACM-SIAM Symposium on Discrete Algorithms2024-07-05 2025-01-12
CMSPInternational Conference on Multimedia and Signal Processing2013-05-152013-05-202013-09-20
MicroComInternational Conference on Microelectronics, Computing and Communication2015-11-162015-12-152016-01-23
Related Journals
CCFFull NameImpact FactorPublisherISSN
bTheoretical Computer Science0.900Elsevier0304-3975
Foundations of Computational Mathematics2.500Springer1615-3375
Smart Learning Environments Springer2196-7091
PeerJ Computer SciencePeerJ Inc.2376-5992
Nonlinear EngineeringWalter de Gruyter2192-8010
Computer Methods and Programs in Biomedicine4.900Elsevier0169-2607
cJournal of Logic and Computation0.586Oxford University Press0955-792X
Computer Science Review13.30Elsevier1574-0137
Artificial Life and Robotics Springer1433-5298
Computers & Geosciences4.200Elsevier0098-3004
Full NameImpact FactorPublisher
Theoretical Computer Science0.900Elsevier
Foundations of Computational Mathematics2.500Springer
Smart Learning Environments Springer
PeerJ Computer SciencePeerJ Inc.
Nonlinear EngineeringWalter de Gruyter
Computer Methods and Programs in Biomedicine4.900Elsevier
Journal of Logic and Computation0.586Oxford University Press
Computer Science Review13.30Elsevier
Artificial Life and Robotics Springer
Computers & Geosciences4.200Elsevier