Topics of interest include but are not limited to:

    Models of programs and systems
    Software specification, validation and verification
    Software architectures and their description languages
    Object and multi-agent systems
    Coordination and feature interaction
    Integration of formal and informal methods
    Integration of different formal methods
    Component-based development
    Service-oriented development
    Model checking and theorem proving
    Software and hardware verification
    CASE tools and tool integration
    Applications to industrial cases