----- Original Message -----
From: boerger <[log in to unmask]>
Sent: Monday, June 11, 2001 11:43 AM
Subject: Summer School in Italy (Please forward to interested persons)
Call for Participation: Advanced Summer School
FORMALWARE ENGINEERING - Formal Methods for Engineering Software
Udine/Italy, September 24-28, 2001.
With courses on ASM, B, VDM, PVS, Model Checking, LF
held by Abrial, Boerger, Buettner, Gorm Larsen, Gurevich, Honsell,
Shankar.
Fellowships, in particular for participants from Eastern European and
Southern Mediterranean countries, are available.
Since the number of participants is limited, registration asap is
recommended. See
http://www.cism.it/c2001/c07/index.htm
|