Departmental Life 2003/04 / 04.03 Swansea Algebraic Specification Seminar goes Barcelona