ARTS 2004 is the satellite workshop of the 10th International Conference on Algebraic Methodology and Software Technology AMAST 2004.

The workshop will take place on the 12th of July, 2004 (the first day of AMAST 2004) at the University of Stirling, Stirling, Scotland.

We welcome contributions and participation of researchers, students and practitioners interested in formal treatment of concurrency, timed and stochastic behaviour, security, mobility and distributivity aspects of systems.