Conference Information
ICTAC 2024: International Colloquium on Theoretical Aspects of Computing
https://ictac2024.cs.ait.ac.th/
Submission Date:
2024-06-14
Notification Date:
2024-09-01
Conference Date:
2024-11-25
Location:
Bangkok, Thailand
Years:
21
CCF: c   QUALIS: b3   Viewed: 26603   Tracked: 34   Attend: 7

Call For Papers
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
Last updated by Dou Sun in 2024-03-24
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
2010792329.1%
20041113430.6%
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
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
Related Journals
CCFFull NameImpact FactorPublisherISSN
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
Full NameImpact FactorPublisher
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
Recommendation