会議情報
ICTAC 2024: International Colloquium on Theoretical Aspects of Computing
https://ictac2024.cs.ait.ac.th/提出日: |
2024-06-14 |
通知日: |
2024-09-01 |
会議日: |
2024-11-25 |
場所: |
Bangkok, Thailand |
年: |
21 |
CCF: c QUALIS: b3 閲覧: 26775 追跡: 34 出席: 7
論文募集
Scope The ICTAC conference series aims to bring together researchers and practitioners from academia, industry, and government to present research and exchange ideas and experiences within theoretical aspects of computing through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. Topics The conference concerns all aspects of theoretical computer science, including, but not limited to: Formal languages and automata Semantics of programming languages Logic in computer science Lambda calculus, type theory, and category theory Domain-specific languages Theories of concurrency and mobility Theories of distributed computing Models of objects and components Coordination models Timed, hybrid, embedded, and cyber-physical systems Security and privacy Static analysis Software verification Software testing Program generation and transformation Model checking and theorem-proving Theoretical aspects of quantum computing Theory and methods of trustworthy AI Applications and experiences
最終更新 Dou Sun 2024-03-24
合格率
時間 | 提出 | 受け入れ | 受け入れ(%) |
---|---|---|---|
2010 | 79 | 23 | 29.1% |
2004 | 111 | 34 | 30.6% |
関連会議
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
ISIT | International Symposium on Information Theory | 2019-01-20 | 2019-07-07 |
AGILE | Association of Geographic Information Laboratories in Europe | 2018-12-09 | 2019-06-17 |
FSME | International Conference on Future Software Engineering and Multimedia Engineering | 2011-07-10 | 2011-08-13 |
FDL | Forum on specification & Design Languages | 2015-05-18 | 2015-09-14 |
IWOMP | International Workshop on OpenMP | 2024-06-21 | 2024-09-23 |
CSE | International Conference on Computational Science and Engineering | 2024-09-01 | 2024-12-17 |
SIROCCO | International Colloquium on Structural Information and Communication Complexity | 2015-04-30 | 2015-07-15 |
ICVRV | International Conference on Virtual Reality and Visualization | 2024-07-05 | 2024-12-27 |
ISSCI | International Symposia on Surfaces, Coatings and Interfaces | 2018-01-01 | 2018-01-26 |
Deep-ML | International Conference on Deep Learning and Machine Learning in Emerging Applications | 2019-04-23 | 2019-08-26 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
IEEE Open Journal of Intelligent Transportation Systems | 4.600 | IEEE | 2687-7813 | |
Journal of Classification | 1.800 | Springer | 0176-4268 | |
International Journal of Information Technology, Modeling and Computing | AIRCC | 2320-8449 | ||
Physica D: Nonlinear Phenomena | 2.700 | Elsevier | 0167-2789 | |
b | ACM Transactions on Speech and Language Processing | ACM | 1550-4875 | |
Advances in Bioinformatics | Hindawi | 1687-8027 | ||
Interaction Studies | 0.900 | John Benjamins Publishing Company | 1572-0373 | |
c | Multimedia Systems | 3.500 | Springer | 0942-4962 |
APL Photonics | 5.400 | American Institute of Physics | 2378-0967 | |
Autonomous Robots | 3.700 | Springer | 0929-5593 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
IEEE Open Journal of Intelligent Transportation Systems | 4.600 | IEEE |
Journal of Classification | 1.800 | Springer |
International Journal of Information Technology, Modeling and Computing | AIRCC | |
Physica D: Nonlinear Phenomena | 2.700 | Elsevier |
ACM Transactions on Speech and Language Processing | ACM | |
Advances in Bioinformatics | Hindawi | |
Interaction Studies | 0.900 | John Benjamins Publishing Company |
Multimedia Systems | 3.500 | Springer |
APL Photonics | 5.400 | American Institute of Physics |
Autonomous Robots | 3.700 | Springer |
おすすめ