ICTAC 2016 - 13th International Colloquium on Theoretical Aspects of Computing

Topics of interest include theories of computation and programming, foundations of software engineering and formal techniques in software design and verification, as well as tools that support formal techniques for software modeling, system design and verification. The topical areas of the conference include, but are not limited to
Automata theory and formal languages;
Principles and semantics of programming languages;
Theories of concurrency, mobility and reconfiguration;
Logics and their applications;
Software architectures and their models, refinement and verification;
Relationship between software requirements, models and code;
Program static and dynamic analysis and verification;
Software specification, refinement, verification and testing;
Model checking and theorem proving;
Models of object and component systems;
Coordination and feature interaction;
Integration of theories, formal methods and tools for engineering computing systems;
Service-oriented architectures: models and development methods;
Models of concurrency, security, and mobility;
Theory of distributed, grid and cloud computing;
Real-time, embedded, hybrid and cyber-physical systems;
Type and category theory in computer science;
Models for learning and education;
Case studies, theories, tools and experiments of verified systems;
Domain-specific modeling and technology: examples, frameworks and experience.
Challenges and foundations in the environmental modeling and monitoring, healthcare, and disaster management.