Centrum voor Wiskunde en Informatica P.O. Box 94079NL-1090 GB AmsterdamNetherlandsMember type: InstitutionalMember classification: AcademicPresident: Jos BaetenPresident email: Jos.Baeten@cwi.nl