Up: University of Warwick
Previous: Research activity
Working-Group funds were used to support David Walker's participation
in the Bologna workshop in March 1997,
a visit to the Bologna site in July 1997 where the main focus of
interaction was joint work on -calculus with Davide Sangiorgi
at INRIA Sophia-Antipolis,
and a visit to the Edinburgh site in November 1996.