Scope

ARTS 2004 workshop aims to be a forum for researchers, students and practitioners interested in the formal description and analysis of complex aspects and features of systems such as concurrency, timed and stochastic behaviour, security, mobility and distributivity.

By providing an informal setting for presentation and discussion of recent developments and results, the ultimate goal of the workshop is to

• encourage the research on formalisms for representing different aspects and features of systems in a uniform, precise and general fashion,
• promote the development of software tools to support such formalisms.

Contributions are welcome on all aspects of specification, modelling, design, verification and analysis of systems, with special emphasis on the formal treatment of the mentioned above features of systems. Topics of interest include (but are not limited to):

• Languages, logics and calculi for the modelling of concurrency, mobility, distributivity, timed and stochastic behaviour,
• Models for the description and analysis of security,
• Formal methods for performance analysis,
• Specification and refinement methods,
• Verification techniques,
• Systems, tools and case studies.