Conference Information
ICTAC 2023: International Colloquium on Theoretical Aspects of Computing
https://ictac2023.compsust.utec.edu.pe/Submission Date: |
2023-06-16 |
Notification Date: |
2023-09-10 |
Conference Date: |
2023-12-04 |
Location: |
Lima, Peru |
Years: |
20 |
CCF: c QUALIS: b3 Viewed: 23521 Tracked: 33 Attend: 7
Call For Papers
Scope
The ICTAC conference series aims at bringing 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 aspect of theoretical computer science, including, but not limited to:
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
Theory and methods of trustworthy AI
Applications and experiences
Last updated by Dou Sun in 2023-05-03
Acceptance Ratio
| Year | Submitted | Accepted | Accepted(%) |
|---|---|---|---|
| 2010 | 79 | 23 | 29.1% |
| 2004 | 111 | 34 | 30.6% |
Related Conferences
| Short | Full Name | Submission | Conference |
|---|---|---|---|
| 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 |
| FDL | Forum on specification & Design Languages | 2015-05-18 | 2015-09-14 |
| FSME | International Conference on Future Software Engineering and Multimedia Engineering | 2011-07-10 | 2011-08-13 |
| IWOMP | International Workshop on OpenMP | 2022-05-20 | 2022-09-20 |
| CSE | International Conference on Computational Science and Engineering | 2023-07-31 | 2023-11-01 |
| SIROCCO | International Colloquium on Structural Information and Communication Complexity | 2015-04-30 | 2015-07-15 |
| ICVRV | International Conference on Virtual Reality and Visualization | 2019-08-24 | 2019-11-21 |
| 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 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| b | Theoretical Computer Science | 1.002 | Elsevier | 0304-3975 |
| a | IEEE Transactions on Services Computing | 5.823 | IEEE | 1939-1374 |
| Electronic Notes in Theoretical Computer Science | Elsevier | 1571-0661 | ||
| IEEE Transaction on Affective Computing | IEEE | 1949-3045 | ||
| International Journal on Advanced Science, Engineering and Information Technology | INSIGHT | 2088-5334 | ||
| International Journal of Control Theory and Computer Modeling | AIRCC | 2319-4138 | ||
| Central European Journal of Computer Science | Springer | 1896-1533 | ||
| Memetic Computing | 5.900 | Springer | 1865-9284 | |
| International Journal on Web Service Computing | AIRCC | 2230-7702 | ||
| IEEE Transactions on Emerging Topics in Computing | 6.043 | IEEE | 2168-6750 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| Theoretical Computer Science | 1.002 | Elsevier |
| IEEE Transactions on Services Computing | 5.823 | IEEE |
| Electronic Notes in Theoretical Computer Science | Elsevier | |
| IEEE Transaction on Affective Computing | IEEE | |
| International Journal on Advanced Science, Engineering and Information Technology | INSIGHT | |
| International Journal of Control Theory and Computer Modeling | AIRCC | |
| Central European Journal of Computer Science | Springer | |
| Memetic Computing | 5.900 | Springer |
| International Journal on Web Service Computing | AIRCC | |
| IEEE Transactions on Emerging Topics in Computing | 6.043 | IEEE |
Recommendation