6th International Workshop on Verification of Infinite-State Systems -- INFINITY 2004, a satellite workshop of 15th International Conference on Concurrency Theory -- CONCUR 2004 - detail akce