• Applications and
experiences • Coordination
models • Domain-specific
languages • Formal languages and
automata • Lambda calculus,
type theory, and category theory •
Logic in computer science •
Model checking and theorem-proving •
Models of objects and components •
Program generation and
transformation • Security and
privacy • Semantics of
programming languages •
Software testing •
Software verification •
Static analysis •
Theoretical aspects of quantum
computing • Theories of
concurrency and mobility •
Theories of distributed computing •
Theory and methods of trustworthy
AI • Timed, hybrid,
embedded, and cyber-physical systems
