会議情報
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   閲覧: 26604   追跡: 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
おすすめ