[Apologies if you receive multiple copies of this announcement] BCS-FACS Evening Seminar nuZ -- a wide-spectrum logic for specification and program development Professor Martin Henson University of Essex 8 November 2005 5.45pm BCS London Offices First Floor The Davidson Building 5 Southampton Street London WC2E 7HA The framework nuZ is a radical modification of the specification language Z. The differences are as follows: * Z is based on a partial-correctness semantics: nuZ is based on a total-correctness semantics; * Z identifies chaos and magic (blocking): nuZ distinguishes between these; * Z schema operators are not monotonic: nuZ schema operators are monotonic; * Z is based on equality: nuZ is based on refinement; * Z is a specification language: nuZ is wide-spectrum; * Z is relatively inflexible: nuZ is easily extensible; * Z is a language: nuZ is a logic; I will concentrate on showing how nuZ (a very tiny system) can be extended to a full specification language; used to specify (internally) a programming language, including action systems, and its logic; and then used to develop programs, by refinement, from specifications. Refreshments will be served from 5.15pm The seminar is free of charge and open to everyone. If you would like to attend, please email Paul Boca[[log in to unmask]] by >>> 3 November 2005 <<<. Pre-registration is required, as security at the BCS Offices is tight. Location of venue: http://www.bcs.org/NR/rdonlyres/B5872B38-3FBB-46E8-9CE7-6F43212E1198/0/londonss.jpg