会议信息
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 |
浏览: 6355 关注: 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
录取率
时间 | 提交数 | 录取数 | 录取率(%) |
---|---|---|---|
2020 | 24 | 8 | 33.3% |
2017 | 20 | 8 | 40% |
相关会议
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
DMEE | International Conference on Design, Mechanical and Electrical Engineering | 2018-04-05 | 2018-09-07 |
ISIT | International Symposium on Information Theory | 2019-01-20 | 2019-07-07 |
APPROX | International Workshop on Approximation Algorithms for Combinatorial Optimization Problems | 2017-04-21 | 2017-08-16 |
CSL | Conference on Computer Science Logic | 2021-07-05 | 2022-02-14 |
CSR | International Computer Science Symposium in Russia | 2019-01-03 | 2019-07-01 |
LICS | IEEE Symposium on Logic in Computer Science | 2024-01-21 | 2024-07-08 |
FUTURE COMPUTING | International Conference on Future Computational Technologies and Applications | 2021-01-19 | 2021-04-18 |
ICCSM | International Conference on Computer, Software and Modeling | 2022-02-25 | 2022-07-21 |
ISAAC | International Symposium on Algorithms and Computation | 2023-06-30 | 2023-12-03 |
ITCS | International Conference on Information Technology and Computer Science | 2015-05-31 | 2015-07-08 |
相关期刊
CCF | 全称 | 影响因子 | 出版商 | ISSN |
---|---|---|---|---|
Electronic Notes in Theoretical Computer Science | Elsevier | 1571-0661 | ||
Foundations of Computational Mathematics | 2.987 | Springer | 1615-3375 | |
Computer Methods and Programs in Biomedicine | 5.428 | Elsevier | 0169-2607 | |
Smart Learning Environments | Springer | 2196-7091 | ||
PeerJ Computer Science | PeerJ Inc. | 2376-5992 | ||
c | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 | |
Calculus of Variations and Partial Differential Equations | 1.945 | Springer | 0944-2669 | |
b | Mathematical Structures in Computer Science | Cambridge University Press | 0960-1295 | |
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences | IEICE | |||
Artificial Life and Robotics | Springer | 1433-5298 |
全称 | 影响因子 | 出版商 |
---|---|---|
Electronic Notes in Theoretical Computer Science | Elsevier | |
Foundations of Computational Mathematics | 2.987 | Springer |
Computer Methods and Programs in Biomedicine | 5.428 | Elsevier |
Smart Learning Environments | Springer | |
PeerJ Computer Science | PeerJ Inc. | |
Logical Methods in Computer Science | Logical Methods in Computer Science | |
Calculus of Variations and Partial Differential Equations | 1.945 | Springer |
Mathematical Structures in Computer Science | Cambridge University Press | |
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences | IEICE | |
Artificial Life and Robotics | Springer |
推荐