Topics

Topics include but are not restricted to:

• Formal languages and techniques for service composition/orchestration
• Validation and verification techniques for service-oriented systems
• Case studies of formal methods applications in Web services
• Formal verification methods for security and trust in web services
• Formal methods for the analysis and design of agent-based systems
• Formal specification and modelling techniques for agent-based systems
• Validation and verification of agent-based systems
• Formal testing approaches for agent-based systems
• Safety and security in agent-based systems
• Comparisons of different formalisms/approaches
• Tool support for formal methods with focus on industrial needs
• Experience from applying formal methods in real cases
• Practical use and case studies from industrial practice