Swansea has been visited three times by V Stoltenberg-Hansen (Uppsala), on 1 Sept -- 20 Dec 1993; 2 Mar -- 12 Mar 1994; 1 July -- 31 July 1994, in conjunction with collaborative work on Abstract Computability with J V Tucker (see [Stoltenberg-Hansen, Tucker 94]). B Möller (Augsburg) has also visited to work with K Meinke on Higher-Order Algebraic Specification. M J Poole visited Swansea, 21 -- 25 November 1994, for consultation with J V Tucker.