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

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):