Please, announce the following modification of shedule:
TYPES WORKING GROUP
SUBTYPING, INHERITANCE AND MODULAR DEVELOPMENT OF PROOFS
Dates are modified! (One-day change.)
Durham (U.K.), August 30- September 1 1997
Ansvering some complaints about possible clash with CSL-97, hold in
Aarhus, Denmark (ending 29.08) we decided to shift the workshop ONE DAY.
(No more days shift possible.) The 29.08 becomes now ARRIVAL DAY.
The workshop will start in the morning on Saturday, 30 August
and end in the afternoon on Monday, 01 September.
Attention of possible participants of CSL-97: there are flights
from Billund near Aarhus via Brussels to Newcastle (several flights