ICTAC 2018 - 15th International Colloquium on Theoretical Aspects of Computing

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.
SCOPE
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