会议信息
STACS 2025: International Symposium on Theoretical Aspects of Computer Science
https://stacs2025.de/
截稿日期:
2024-09-26
通知日期:
2024-12-16
会议日期:
2025-03-04
会议地点:
Jena, Germany
届数:
42
CCF: c   CORE: a   QUALIS: a2   浏览: 29060   关注: 30   参加: 8

征稿
The 42nd International Symposium on Theoretical Aspects of Computer Science is planned to take place from March 04 to March 07, 2025 in Jena, Germany.

STACS 2025 will consist of two tracks. 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

These lists are not exhaustive. In particular, both tracks also welcome submissions about current challenges. 
最后更新 Dou Sun 在 2024-06-25
录取率
时间提交数录取数录取率(%)
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
bb1WiOptInternational Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks2024-06-152024-08-062024-10-21
DMEEInternational Conference on Design, Mechanical and Electrical Engineering2018-04-052018-04-252018-09-07
ICCSMInternational Conference on Computer, Software and Modeling2022-02-252022-03-252022-07-21
AIPRInternational Conference on Artificial Intelligence and Pattern Recognition2024-08-102024-08-252024-09-20
ab5eScienceIEEE International Conference On E-Science2024-05-062024-07-012024-09-16
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 Science  2025-06-23
推荐