Conference Information
STACS 2023: International Symposium on Theoretical Aspects of Computer Science
https://www.conferences.uni-hamburg.de/event/272/Submission Date: |
2022-09-25 |
Notification Date: |
2022-12-04 |
Conference Date: |
2023-03-07 |
Location: |
Hamburg, Germany |
Years: |
40 |
CCF: c CORE: a QUALIS: a2 Viewed: 23037 Tracked: 25 Attend: 5
Call For Papers
The 40th International Symposium on Theoretical Aspects of Computer Science is planned to take place from 7 March to 10 March 2023 in Hamburg, Germany. For the first time, STACS 2023 will consist of two tracks, A and B, to facilitate the work of the program committee(s). Track A is dedicated to algorithms and data structures, complexity and games. Track B will cover automata, logic, semantics and theory of programming. LISTS OF TOPICS Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Typical areas include: Track A: algorithms and data structures, including: design of parallel, distributed, approximation, parameterized and randomized algorithms; analysis of algorithms and combinatorics of data structures; computational geometry, cryptography, algorithms for machine learning, algorithmic game theory, quantum algorithms complexity, including: computational and structural complexity theory, parameterized complexity, randomness in computation Track B: automata and formal languages, including: automata theory, games, algebraic and categorical methods, coding theory, models of computation, computability logic in computer science, including: finite model theory, database theory, semantics, type systems, program analysis, specification & verification, rewriting and deduction, learning theory, logical aspects of complexity These lists are not exhaustive. In particular, both tracks also welcome submissions about current challenges.
Last updated by Dou Sun in 2022-09-10
Acceptance Ratio
Year | Submitted | Accepted | Accepted(%) |
---|---|---|---|
2020 | 242 | 56 | 23.1% |
2019 | 260 | 54 | 20.8% |
2018 | 186 | 54 | 29% |
2017 | 212 | 54 | 25.5% |
2016 | 205 | 54 | 26.3% |
2015 | 235 | 55 | 23.4% |
2014 | 210 | 54 | 25.7% |
2013 | 254 | 54 | 21.3% |
2012 | 273 | 54 | 19.8% |
2011 | 271 | 54 | 19.9% |
2010 | 238 | 54 | 22.7% |
2009 | 280 | 54 | 19.3% |
2008 | 200 | 54 | 27% |
2007 | 400 | 56 | 14% |
2006 | 283 | 54 | 19.1% |
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
CSR | International Computer Science Symposium in Russia | 2019-01-03 | 2019-07-01 |
GCCE | Global Conference on Consumer Electronics | 2021-06-07 | 2021-10-12 |
DMEE | International Conference on Design, Mechanical and Electrical Engineering | 2018-04-05 | 2018-09-07 |
WiOpt | International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks | 2023-03-31 | 2023-08-24 |
ICCSM | International Conference on Computer, Software and Modeling | 2022-02-25 | 2022-07-21 |
AIPR | International Conference on Artificial Intelligence and Pattern Recognition | 2019-03-25 | 2019-08-16 |
eScience | IEEE International Conference On E-Science | 2023-05-26 | 2023-10-09 |
ICBCI | International Conference on Bioinformatics and Computational Intelligence | 2018-05-20 | 2018-07-28 |
SICBS | International Conference on Security with Intelligent Computing and Big-data Services | 2019-10-01 | 2019-12-04 |
LICS | IEEE Symposium on Logic in Computer Science | 2023-01-18 | 2023-06-26 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
c | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 | |
b | Mathematical Structures in Computer Science | Cambridge University Press | 0960-1295 | |
Foundations of Computational Mathematics | 2.987 | Springer | 1615-3375 | |
b | Formal Aspects of Computing | 1.226 | Springer | 0934-5043 |
Calculus of Variations and Partial Differential Equations | 1.945 | Springer | 0944-2669 | |
Electronic Notes in Theoretical Computer Science | Elsevier | 1571-0661 | ||
Computer Methods and Programs in Biomedicine | 5.428 | Elsevier | 0169-2607 | |
Smart Learning Environments | Springer | 2196-7091 | ||
PeerJ Computer Science | PeerJ Inc. | 2376-5992 | ||
International Journal of Applied Mathematics and Computer Science | 1.504 | Walter de Gruyter | 1641-876X |
Full Name | Impact Factor | Publisher |
---|---|---|
Logical Methods in Computer Science | Logical Methods in Computer Science | |
Mathematical Structures in Computer Science | Cambridge University Press | |
Foundations of Computational Mathematics | 2.987 | Springer |
Formal Aspects of Computing | 1.226 | Springer |
Calculus of Variations and Partial Differential Equations | 1.945 | Springer |
Electronic Notes in Theoretical Computer Science | Elsevier | |
Computer Methods and Programs in Biomedicine | 5.428 | Elsevier |
Smart Learning Environments | Springer | |
PeerJ Computer Science | PeerJ Inc. | |
International Journal of Applied Mathematics and Computer Science | 1.504 | Walter de Gruyter |
Recommendation