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