Thread View: comp.specification.z
3 messages
3 total messages
Started by Michael Hinchey
Thu, 17 Dec 1992 12:39
Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
Author: Michael Hinchey
Date: Thu, 17 Dec 1992 12:39
Date: Thu, 17 Dec 1992 12:39
20 lines
968 bytes
968 bytes
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
Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
Author: David Shepherd
Date: Thu, 17 Dec 1992 18:16
Date: Thu, 17 Dec 1992 18:16
9 lines
877 bytes
877 bytes
btw ... i assume that the oxford & cambridge club allow
women (sorry, i expect that ought to be "ladies") in?
if so, what do they have to wear?
--
--------------------------------------------------------------------------
david shepherd: des@inmos.co.uk or des@inmos.com tel: 0454-616616 x 625
inmos ltd, 1000 aztec west, almondsbury, bristol, bs12 4sq
1992: celebrate the quincentenary of columbus getting lost
Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
Author: Michael.Hinchey
Date: Thu, 17 Dec 1992 23:47
Date: Thu, 17 Dec 1992 23:47
13 lines
1006 bytes
1006 bytes
| btw ... i assume that the oxford & cambridge club allow | women (sorry, i expect that ought to be "ladies") in? Yes, of course they do!! Lots of "ladies" attended the dinner. But I should warn you that I was scolded to referring to "ladies" rather than women. | sif so, what do they have to wear? Apparently, they have to dress "appropriately"; I have no idea what that means, but presumably it doesn't mean "black tie" (or even white tie -- see previous posting!)
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads