SUBJECT: Reminder for next weeks &ORG at &NUM in &NAME Theatre &NUM - &NAME &NAME University of &NAME &NAME Laboratory &ORGs Speaker : &NAME &NAME ( &NAME ) &NAME / &NAME : 14th May &NUM at 4.15pm &NAME : &NAME Theatre &NUM , &ORG &NAME : &NAME &NAME : Lessons from Industry The &NAME specification language and the &NAME model &NAME are described . Experience using them at &NAME / HP and Intel for writing and debugging high-level specifications is described , and lessons are drawn . Many popular fads are found to be irrelevant to high-level specification . Maps and travelling directions are at ( &WEBSITE