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
|