会議情報
STACS 2023: International Symposium on Theoretical Aspects of Computer Science
https://www.conferences.uni-hamburg.de/event/272/
提出日:
2022-09-25
通知日:
2022-12-04
会議日:
2023-03-07
場所:
Hamburg, Germany
年:
40
CCF: c   CORE: a   QUALIS: a2   閲覧: 22639   追跡: 25   出席: 5

論文募集
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.
最終更新 Dou Sun 2022-09-10
合格率
時間提出受け入れ受け入れ(%)
20202425623.1%
20192605420.8%
20181865429%
20172125425.5%
20162055426.3%
20152355523.4%
20142105425.7%
20132545421.3%
20122735419.8%
20112715419.9%
20102385422.7%
20092805419.3%
20082005427%
20074005614%
20062835419.1%
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
cCSRInternational Computer Science Symposium in Russia2019-01-032019-02-252019-07-01
GCCEGlobal Conference on Consumer Electronics2021-06-072021-07-262021-10-12
DMEEInternational Conference on Design, Mechanical and Electrical Engineering2018-04-052018-04-252018-09-07
bb1WiOptInternational Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks2023-03-312023-06-012023-08-24
ICCSMInternational Conference on Computer, Software and Modeling2022-02-252022-03-252022-07-21
AIPRInternational Conference on Artificial Intelligence and Pattern Recognition2019-03-252019-04-152019-08-16
ab5eScienceIEEE International Conference On E-Science2023-05-262023-06-302023-10-09
ICBCIInternational Conference on Bioinformatics and Computational Intelligence2018-05-202018-06-102018-07-28
SICBSInternational Conference on Security with Intelligent Computing and Big-data Services2019-10-012019-10-252019-12-04
aa*a2LICSIEEE Symposium on Logic in Computer Science2023-01-182023-04-052023-06-26
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
bMathematical Structures in Computer Science Cambridge University Press0960-1295
Foundations of Computational Mathematics2.987Springer1615-3375
bFormal Aspects of Computing1.226Springer0934-5043
Calculus of Variations and Partial Differential Equations1.945Springer0944-2669
Electronic Notes in Theoretical Computer Science Elsevier1571-0661
Computer Methods and Programs in Biomedicine5.428Elsevier0169-2607
Smart Learning Environments Springer2196-7091
PeerJ Computer SciencePeerJ Inc.2376-5992
International Journal of Applied Mathematics and Computer Science1.504Walter de Gruyter1641-876X
おすすめ