Title: Z User Workshop
Subjects: Logic design, Computer science, Software engineering, Management information systems, Z (computer program language)