Conference Information
ICTAC 2020: International Colloquium on Theoretical Aspects of Computing
Submission Date:
Notification Date:
Conference Date:
Macau, China
CCF: c   QUALIS: b3   Viewed: 12004   Tracked: 18   Attend: 5

Conference Location
Call For Papers
Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), the ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. The proceedings will be published as a volume of Springer’s LNCS series.

The topics of the conference include, but are 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, grid and cloud computing
    Models of objects and components
    Coordination models
    Models of software architectures
    Timed, hybrid, embedded and cyber-physical systems
    Static analysis
    Software verification
    Software testing
    Program generation and transformation
    Model checking and automated theorem proving
    Interactive theorem proving
    Verified software, formalized programming theory
Last updated by Dou Sun in 2020-04-09
Acceptance Ratio
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 OpenMP2020-05-252020-06-162020-09-23
b4CSEInternational Conferences on Computational Science and Engineering2020-08-152020-09-292020-12-29
bb2SIROCCOInternational Colloquium on Structural Information and Communication Complexity2015-04-302015-06-082015-07-15
ICVRVInternational Conference on Virtual Reality and Visualization2019-08-242019-10-102019-11-21
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