🚀 go-pugleaf

M

maney@netcom.com (George Maney) writes :


|It seems clear to me that a dinner jacket and tie are exactly the right attire
|for discussing a formal method.  My question is about the degree of formality:
|
|is Z black tie, or is it white tie?


Well, standard etiquette is that white tie is only worn with tails; black tie
otherwise.

Of course, in the Z world, white tie is only worn if you're doing full proofs
and refinement (using one of those really fancy support tools); black tie
if you're merely formalising requirements.

-- Mike Hinchey
   Treasurer, Z User Group