Formal 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 computing
Models of objects and components
Coordination models
Timed, hybrid, embedded, and cyber-physical systems
Security and privacy
Static analysis
Software verification
Software testing
Program generation and transformation
Model checking and theorem-proving
Theoretical aspects of quantum computing
Theory and methods of trustworthy AI
Applications and experiences
Full papers describing original research contributions
Short papers describing original work in progress, new ideas, and emerging challenges; and
Tool papers describing tools supporting formal techniques for software modeling, system design, and verification.
Submissions must not exceed 16 pages (excluding a bibliography of a maximum of 2 pages). Short and tool papers should not exceed 8 pages.