U Berger from LMU is visiting Uppsala 1 Jan - 31 Aug 1995 to work on the theory of domains and streams and to continue his work on abstracting programs from classical proofs in theories with inductive definitions.
U Berger, E Palmgren and V Stoltenberg-Hansen participated with talks in the CLICS-TYPES Workshop on Categories and Type Theory at Gothenburg 7 -- 10 Jan, 1995.
In addition, J V Tucker visited Uppsala 24 Sept -- 29 Sept to further collaborative work on Abstract Computability.