correction

• To: types@cs.indiana.edu
• Subject: correction
• From: <Sergei.Soloviev@durham.ac.uk>
• Date: Thu, 12 Jun 97 15:44:07 BST
• Delivery-Date: Thu, 12 Jun 1997 09:44:20 -0500

Please, announce the following modification of shedule:


			TYPES WORKING GROUP

			    WORKSHOP ON 
     
     	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
a day).

		    




Best regards,
		Sergei Soloviev

• Prev: Professorship in Uppsala, Sweden
• Next: The join-calculus language, release 1.01
• Index(es):
  • Main
  • Thread