会議情報
TTCS 2017: IFIP International Conference on Topics in Theoretical Computer Science
http://www.ttcs.ir/
提出日:
2017-05-15 Extended
通知日:
2017-06-26
会議日:
2017-09-12
場所:
Tehran, Iran
年:
2
閲覧: 9647   追跡: 0   出席: 0

論文募集
TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with the European Association for Theoretical Computer Science.

There will be a number of satellite events at TTCS, These will feature presentation of early research results, and position papers. There will also be a forum for Ph.D. students to receive comments about their ongoing research projects.

Topics of interest include but are not limited to:

Track A: Algorithms and Complexity

    algorithms and data structures,
    algorithmic coding theory,
    algorithmic graph theory and combinatorics,
    approximation algorithms,
    computational complexity,
    computational geometry,
    computational geometry,
    computational learning theory,
    economics and algorithmic game theory,
    fixed parameter algorithms,
    machine learning
    optimization,
    parallel and distributed algorithms,
    quantum computing,
    randomness in computing,
    theoretical cryptography, 

Track B: Logic, Semantics, and Programming Theory

    algebra and co-algebra in computer science,
    concurrency theory,
    coordination languages,
    formal verification and model-based testing,
    logic in computer science,
    methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems,
    stochastic and probabilistic specification and reasoning,
    theoretical aspects of other CS-related research areas, e.g., computational science, databases, information retrieval, and networking,
    theory of programming languages, and
    type theory and its application in program verification.
最終更新 Dou Sun 2017-05-12
合格率
時間提出受け入れ受け入れ(%)
202024833.3%
201720840%
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
cab1ISAACInternational Symposium on Algorithms and Computation2024-06-282024-09-022024-12-08
ICCSMInternational Conference on Computer, Software and Modeling2025-05-152025-05-302025-07-03
FUTURE COMPUTINGInternational Conference on Future Computational Technologies and Applications2021-01-192021-02-282021-04-18
aa*a2LICSIEEE Symposium on Logic in Computer Science2025-01-162025-04-082025-06-23
cCSRInternational Computer Science Symposium in Russia2019-01-032019-02-252019-07-01
ccb1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
ab1APPROXInternational Workshop on Approximation Algorithms for Combinatorial Optimization Problems2017-04-212017-06-022017-08-16
CSITCInternational Conference on Advances in Computer Science, Information Technology and Communications2025-09-102025-09-152025-09-19
bb1ISITInternational Symposium on Information Theory2019-01-202019-03-312019-07-07
CSCS'ACM Computer Science in Cars Symposium2023-09-242023-10-272023-12-05
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
International Journal of Information Technology, Modeling and ComputingAIRCC2320-8449
China Communications3.100IEEE1673-5447
New Review of Hypermedia and Multimedia1.400Taylor & Francis1361-4568
Digital Government: Research and PracticeACM2639-0175
Measurement and Control1.300SAGE0020-2940
RoboticsMDPI2218-6581
Journal of Object TechnologyEtH Zurich1660-1769
cDiscrete & Computational Geometry0.600Springer0179-5376
Mathematical Programming Computation4.300Springer1867-2949
cInternational Journal of Intelligent SystemsJohn Wiley & Sons, Ltd1098-111X