Conference Information
LICS 2024: IEEE Symposium on Logic in Computer Science
https://lics.siglog.org/lics24/Submission Date: |
2024-01-21 |
Notification Date: |
2024-04-15 |
Conference Date: |
2024-07-08 |
Location: |
Tallinn, Estonia |
Years: |
39 |
CCF: a CORE: a* QUALIS: a2 Viewed: 26299 Tracked: 40 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
Year | Submitted | Accepted | Accepted(%) |
---|---|---|---|
2005 | 127 | 44 | 34.6% |
2004 | 168 | 40 | 23.8% |
2003 | 122 | 34 | 27.9% |
2002 | 135 | 36 | 26.7% |
2001 | 104 | 36 | 34.6% |
1998 | 120 | 42 | 35% |
1997 | 108 | 39 | 36.1% |
1996 | 175 | 47 | 26.9% |
1995 | 137 | 44 | 32.1% |
Related Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
ICCSM | International Conference on Computer, Software and Modeling | 2022-02-25 | 2022-03-25 | 2022-07-21 | |||
ICMU | International Conference on Mobile Computing and Ubiquitous Networking | 2018-05-25 | 2018-07-06 | 2018-10-05 | |||
c | b1 | GLSVLSI | Great Lakes Symposium on VLSI | 2023-02-06 | 2023-03-21 | 2023-06-05 | |
EDUTEC | International Conference on Education and Technology | 2022-12-31 | 2022-01-12 | 2023-01-21 | |||
b | a1 | Mobisys | International Conference on Mobile Systems, Applications and Services | 2023-11-23 | 2024-03-06 | 2024-06-03 | |
AmI | European Conference on Ambient Intelligence | 2019-07-19 | 2019-08-12 | 2019-11-13 | |||
b4 | IST | International Conference on Imaging Systems and Techniques | 2018-07-31 | 2018-08-15 | 2018-10-16 | ||
a | a* | a1 | SODA | ACM-SIAM Symposium on Discrete Algorithms | 2021-07-05 | 2022-01-09 | |
CMSP | International Conference on Multimedia and Signal Processing | 2013-05-15 | 2013-05-20 | 2013-09-20 | |||
MicroCom | International Conference on Microelectronics, Computing and Communication | 2015-11-16 | 2015-12-15 | 2016-01-23 |
Short | Full Name | Submission | Conference |
---|---|---|---|
ICCSM | International Conference on Computer, Software and Modeling | 2022-02-25 | 2022-07-21 |
ICMU | International Conference on Mobile Computing and Ubiquitous Networking | 2018-05-25 | 2018-10-05 |
GLSVLSI | Great Lakes Symposium on VLSI | 2023-02-06 | 2023-06-05 |
EDUTEC | International Conference on Education and Technology | 2022-12-31 | 2023-01-21 |
Mobisys | International Conference on Mobile Systems, Applications and Services | 2023-11-23 | 2024-06-03 |
AmI | European Conference on Ambient Intelligence | 2019-07-19 | 2019-11-13 |
IST | International Conference on Imaging Systems and Techniques | 2018-07-31 | 2018-10-16 |
SODA | ACM-SIAM Symposium on Discrete Algorithms | 2021-07-05 | 2022-01-09 |
CMSP | International Conference on Multimedia and Signal Processing | 2013-05-15 | 2013-09-20 |
MicroCom | International Conference on Microelectronics, Computing and Communication | 2015-11-16 | 2016-01-23 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
b | Theoretical Computer Science | 1.002 | Elsevier | 0304-3975 |
Foundations of Computational Mathematics | 2.987 | Springer | 1615-3375 | |
Smart Learning Environments | Springer | 2196-7091 | ||
PeerJ Computer Science | PeerJ Inc. | 2376-5992 | ||
Nonlinear Engineering | Walter de Gruyter | 2192-8010 | ||
Computer Methods and Programs in Biomedicine | 5.428 | Elsevier | 0169-2607 | |
c | Journal of Logic and Computation | 0.586 | Oxford University Press | 0955-792X |
Computer Science Review | 7.872 | Elsevier | 1574-0137 | |
Artificial Life and Robotics | Springer | 1433-5298 | ||
Computers & Geosciences | 3.372 | Elsevier | 0098-3004 |
Full Name | Impact Factor | Publisher |
---|---|---|
Theoretical Computer Science | 1.002 | Elsevier |
Foundations of Computational Mathematics | 2.987 | Springer |
Smart Learning Environments | Springer | |
PeerJ Computer Science | PeerJ Inc. | |
Nonlinear Engineering | Walter de Gruyter | |
Computer Methods and Programs in Biomedicine | 5.428 | Elsevier |
Journal of Logic and Computation | 0.586 | Oxford University Press |
Computer Science Review | 7.872 | Elsevier |
Artificial Life and Robotics | Springer | |
Computers & Geosciences | 3.372 | Elsevier |
Recommendation