- Formal Validation and Applications
- Specifications and Validation of Network Protocols
- Fundamental Computing
- Formal approaches for safety and security
- Formalisms for modeling, design and implementation
- Correctness-by-construction approaches for software, hardware and systems engineering
- Tools and case studies supporting the integration of formal methods
(communication protocol, distributed system, multi-agent systems ....)
- Interactive and automated theorem proving
- Model checking
- Formal refinement
- Automated testing
- Use of machine learning and probabilistic reasoning techniques in formal methods
- Formal methods and Quantum computing
- Formal methods in model-driving techniques
- Verification and assurance of reconfigurable systems
- Architecture description language
- requirements formalization and formal specification
- Formal methods for object-oriented systems.
- Formal methods for component-based systems.