Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 24 May 1993 14:29:41 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA05391;
          Mon, 24 May 93 06:18:41 -0700
Sender: info-hol-request@ted.cs.uidaho.edu
Errors-To: info-hol-request@ted.cs.uidaho.edu
Precedence: bulk
Received: from sun2.nsfnet-relay.ac.uk by ted.cs.uidaho.edu (16.6/1.34) 
          id AA05386; Mon, 24 May 93 06:18:23 -0700
Message-Id: <9305241318.AA05386@ted.cs.uidaho.edu>
Via: uk.ac.manchester-metropolitan-university.computing-services.sysa;
     Mon, 24 May 1993 14:17:36 +0100
Date: Mon, 24 May 93 14:14:44
From: DE9DA00@sa.cs.mmu.ac.uk
Subject: IEE colloquium
To: info-hol <info-hol@ted.cs.uidaho.edu>

I am trying to set up an IEE colloquium  in the area of formal methods
and structured design of hardware, which is envisaged to take place towards the end of this year.

Anyone interested in contributing a short paper should let me know the provisional title.

Thanks,

John Ainscough
Manchester Metropolitan University.