🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

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
#98
Author: Michael Hinchey
Date: Thu, 17 Dec 1992 12:39
20 lines
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
#99
Author: David Shepherd
Date: Thu, 17 Dec 1992 18:16
9 lines
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
#100
Author: Michael.Hinchey
Date: Thu, 17 Dec 1992 23:47
13 lines
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