From C.Cartledge@sheffield.ac.uk Fri Sep 10 13:21:36 1993 Received: from danpost4.uni-c.dk by dkuug.dk with SMTP id AA24604 (5.65c8/IDA-1.4.4j for ); Fri, 10 Sep 1993 11:23:15 +0200 X400-Received: by mta danpost4.uni-c.dk in /PRMD=minerva/ADMD=dk400/C=dk/; Relayed; Fri, 10 Sep 1993 11:22:33 +0200 X400-Received: by /PRMD=uk.ac/ADMD= /C=gb/; Relayed; Fri, 10 Sep 1993 11:23:24 +0200 X400-Received: by /PRMD=UK.AC/ADMD= /C=GB/; Relayed; Fri, 10 Sep 1993 11:21:26 +0200 X400-Received: by /PRMD=UK.AC/ADMD= /C=GB/; Relayed; Fri, 10 Sep 1993 11:21:36 +0200 Date: Fri, 10 Sep 1993 11:21:36 +0200 X400-Originator: C.Cartledge@sheffield.ac.uk X400-Recipients: sc24@dkuug.dk X400-Mts-Identifier: [/PRMD=uk.ac/ADMD= /C=gb/; Message-Id: To: SC24 list , IST/31 Subject: Formal Spec and PREMO (fwd) Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Charset: ASCII X-Char-Esc: 29 Formal Specification and its Application to PREMO ------------------------------------------------- Graham Reynolds is organising this workshop around the time of the PREMO RG and PHIGS RG meetings in Manchester, in November. Before we could finalise all the dates he went on holiday, and will not be available until 25 September.... Therefore if you are interested in this workshop, be warned that the workshop will be held on the 6 and 7 Novemeber in Manchester, UK. THIS IS NOT A FORMAL ANNOUNCEMENT OF THE WORKSHOP, G REYNOLDS WILL ISSUE IT. (The PHIGS RG will meet 2-6 November inclusive.) (The PREMO RG will meet 8-12 Novemeber inclusive.) If you require further details of hotels etc, in Manchester please contact me at the addresses below: Best wishes Terry W T Hewitt Telephone: +44 61 275 6095 Computer Graphics Unit Fax: +44 61 275 6040 Manchester Computing Centre Electronic mail: hewitt@hpa.cgu.mcc.ac.uk University of Manchester or: w.t.hewitt@mcc.ac.uk Manchester M13 9PL United Kingdom