10Th International Conference on Algebraic Methodology and Software Technology, Date: JUL 12-16, 2004, Location: Stirling, SCOTLAND, Patrocinadores: Edinburgh Mat Soc, Engn & Phys Sci Res Council, British Comp Soc, Formal Aspects Comp Sci Specialist Grp, London Math Soc