会议信息
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   浏览: 26605   关注: 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
录取率
时间提交数录取数录取率(%)
2010792329.1%
20041113430.6%
相关会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
bb1ISITInternational Symposium on Information Theory2019-01-202019-03-312019-07-07
AGILEAssociation of Geographic Information Laboratories in Europe2018-12-092019-01-202019-06-17
FSMEInternational Conference on Future Software Engineering and Multimedia Engineering2011-07-102011-07-152011-08-13
FDLForum on specification & Design Languages2015-05-182015-07-042015-09-14
IWOMPInternational Workshop on OpenMP2024-06-212024-07-122024-09-23
b4CSEInternational Conference on Computational Science and Engineering2024-09-012024-10-152024-12-17
bb2SIROCCOInternational Colloquium on Structural Information and Communication Complexity2015-04-302015-06-082015-07-15
cICVRVInternational Conference on Virtual Reality and Visualization2024-07-052024-09-132024-12-27
ISSCIInternational Symposia on Surfaces, Coatings and Interfaces2018-01-012018-01-012018-01-26
Deep-MLInternational Conference on Deep Learning and Machine Learning in Emerging Applications2019-04-232019-05-202019-08-26
相关期刊
CCF全称影响因子出版商ISSN
IEEE Open Journal of Intelligent Transportation Systems4.600IEEE2687-7813
Journal of Classification1.800Springer0176-4268
International Journal of Information Technology, Modeling and Computing AIRCC2320-8449
Physica D: Nonlinear Phenomena2.700Elsevier0167-2789
bACM Transactions on Speech and Language Processing ACM1550-4875
Advances in BioinformaticsHindawi1687-8027
Interaction Studies0.900John Benjamins Publishing Company1572-0373
cMultimedia Systems3.500Springer0942-4962
APL Photonics5.400American Institute of Physics2378-0967
Autonomous Robots3.700Springer0929-5593
全称影响因子出版商
IEEE Open Journal of Intelligent Transportation Systems4.600IEEE
Journal of Classification1.800Springer
International Journal of Information Technology, Modeling and Computing AIRCC
Physica D: Nonlinear Phenomena2.700Elsevier
ACM Transactions on Speech and Language Processing ACM
Advances in BioinformaticsHindawi
Interaction Studies0.900John Benjamins Publishing Company
Multimedia Systems3.500Springer
APL Photonics5.400American Institute of Physics
Autonomous Robots3.700Springer
推荐