ISoLA 2006: Paphos, Cyprus

Invited Talks

Keynote

Track on Formal Methods in Avionics and Aerospace Applications

Track on Formal Specifications in Practice

Poster Session

Track on Safety and Security

Track on Evolutionary Computing Applied to Engineering

Track on Organic Computing

Track on Timing Analysis in the Industrial Development Process

Track on Formal Approaches to the Specification and Verification of Sensor Networks

Track on Biologically-Inspired Computing

Track on Applications of Rigorous and Formal Methods to Service-Oriented Computing

Track on Highly Reliable Software: Theories, Methods, Tools and Experiences in China and South Africa

Thematic Session on FMICS: Formal Methods for Industrial Critical Systems

Thematic Session on Validation and Verification in the Large

Session on System Modelling and Verification