会議情報
STACS 2024: International Symposium on Theoretical Aspects of Computer Science
https://stacs2024.limos.fr/提出日: |
2023-09-28 |
通知日: |
2023-12-13 |
会議日: |
2024-03-12 |
場所: |
Clermont-Ferrand, France |
年: |
41 |
CCF: c CORE: a QUALIS: a2 閲覧: 25448 追跡: 26 出席: 7
論文募集
The 41st International Symposium on Theoretical Aspects of Computer Science is planned to take place from 12th March to 14th March 2024 in Clermont-Ferrand, France. For the second time, STACS 2024 will consist of two tracks, A and B, to facilitate the work of the program committee(s). Track A focuses on algorithms, data structures and complexity. Track B focuses on automata, logic, semantics, and theory of programming. Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Typical areas include: Track A. Algorithms, Data Structures and Complexity Design of parallel algorithms Distributed algorithm Approximation algorithms Parameterised algorithms Randomised algorithms Analysis of algorithms Combinatorics of data structures Computational geometry Cryptography Algorithms for machine learning Algorithmic game theory Quantum algorithms Computational and structural complexity theory Parameterised complexity Randomness in computation Track B. Automata, Logic, Semantics and Theory of Programming Automata theory Games and multi-agent systems Algebraic and categorical methods Models of computation Concurrency Timed systems Finite model theory Database theory Semantics Type systems Program analysis Specification and verification Rewriting and deduction Learning theory Logical aspects of computability and complexity
最終更新 Dou Sun 2023-09-01
合格率
時間 | 提出 | 受け入れ | 受け入れ(%) |
---|---|---|---|
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% |
関連会議
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
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 | 2024-06-15 | 2024-10-21 |
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 | 2024-05-06 | 2024-09-16 |
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 | 2024-01-21 | 2024-07-08 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | 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 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
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 |
おすすめ