Past activities

Meetings held:

• SG4 Tutorial meeting during GM'95 (22 January 95).
• SG4 Planning meeting (23 January 1995).
• Lisbon/London working meeting on `Verifying for Reuse' (10--24/6/94).
• Lisbon/London working meeting on `Interconnecting Formalisms' (14--20/1/95).