Topics of interest include, but are not limited to:

• Formal verification techniques for automated analysis of software

• Formal analysis for modeling languages, such as UML/state charts

• Formal specification languages, temporal logic, design-by-contract

• Model checking

• Automated theorem proving, including SAT and SMT

• Verifying compilers

• Abstraction and symbolic execution techniques

• Static analysis and abstract interpretation

• Combination of verification techniques

• Modular and compositional verification techniques

• Verification of timed and probabilistic systems

• Automated testing using advanced analysis techniques

• Combination of static and dynamic analyses

• Derivation of specifications, test cases, or other useful material via formal analysis

• Case studies of interesting systems or with interesting results

• Engineering and implementation of software verification and analysis tools

• Benchmark and comparative studies for formal verification and analysis tools

• Formal methods education and training

• Insightful surveys or historical accounts on topics of relevance to the symposium