Areas of interest include but are not limited to:

• Formal and semi-formal modelling notations
• Combining formal methods with different simulation and system analysis techniques
• Program verification, model checking, and static analysis
• Theorem proving, decision procedures, SAT/SMT solving
• Runtime analysis, monitoring, and testing
• Program synthesis
• Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems
• Abstraction and refinement
• Model learning and inference
• Approaches to integrating formal methods into software engineering practice