From dcc-workshop%prg.oxford.ac.uk@NSFnet-Relay.AC.UK  Wed Jan 17 08:39:11 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA16231; Wed, 17 Jan 90 08:39:11 PST
Received: from ucdavis.ucdavis.edu by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA08028; Wed, 17 Jan 90 08:44:09 PST
Received: by ucdavis.ucdavis.edu (5.51/UCD1.41)
        id AA24141; Wed, 17 Jan 90 08:22:44 PST
Received: from sun.nsfnet-relay.ac.uk by vax.NSFnet-Relay.AC.UK
           via Janet with NIFTP  id aa10533; 17 Jan 90 14:52 GMT
Received: from prg.ox.ac.uk (jael) by prg.oxford.ac.uk
         id AA09431; Wed, 17 Jan 90 14:41:41 GMT
Received: by prg.ox.ac.uk (4.0/prg3.0)
         id AA10402; Wed, 17 Jan 90 14:43:19 GMT
Date: Wed, 17 Jan 90 14:43:19 GMT
Message-Id: <9001171443.AA10402@prg.ox.ac.uk>
To: info-hol%clover.ucdavis.edu@NSFnet-Relay.AC.UK
From: dcc-workshop%prg.oxford.ac.uk@NSFnet-Relay.AC.UK
Subject: Oxford Workshop on Designing Correct Circuits -- Call for Papers


                Workshop on Designing Correct Circuits

                    Oxford, 26--28 September 1990

                           Call for Papers

                                Aims

Formal  program  development   techniques   are  becoming   increasingly
important  in circuit design.  The purpose of this workshop  is to bring
together workers interested  in the design of provably correct hardware.
Relevant topics include but are not limited to:

     >  formal hardware design languages,
     >  hardware design by transformation,
     >  computing-aided design and verification of hardware,
     >  high level synthesis and silicon compilation,
     >  methods of designing testable circuits,
     >  analysis of circuit descriptions,
     >  experience of the application of these techniques,
     >  novel VLSI algorithms and architectures.

The workshop  will be of interest  to researchers  in the area of formal
methods for hardware  design,  and to engineers  in industry  wishing to
keep abreast of this fast-moving and exciting field.


                        Programme Committee

The program committee for this workshop will include:

     >  Raymond Boute, University of Nijmegen, The Netherlands;
     >  Shiu-Kai Chin, Syracuse University, United States of America;
     >  John O'Donnell, University of Glasgow, Scotland;
     >  Mike Fourman, University of Edinburgh, Scotland;
     >  Steve Johnson, Indiana University, United States of America;
     >  Geraint Jones, University of Oxford, England;
     >  Tom Melham, University of Cambridge, England;
     >  Mary Sheeran, University of Glasgow, Scotland;
     >  Jan van de Snepscheut, Caltech, United States of America;
     >  Jorgen Staunstrup, Technical University of Denmark, Lyngby, Denmark.


                          Call for papers

You  are  invited   to  submit  a  draft  full  paper  (four  copies  if
convenient)  on a relevant  subject by 9th March 1990.  Notification  of
acceptance  will be posted  by 27th April,  and revised  copies  of full
papers  must be received  by 6th July in order to be distributed  at the
workshop.

                        Local Arrangements

The workshop  will meet in and around the lecture theatre of the Nuclear
Physics department of the University of Oxford.  Accommodation and meals
will  be provided  at St Anne's  College,  a college  of the  University
within walking distance of the workshop's lecture theatre.  We intend to
keep the cost of the workshop, meals and accommodation around L150.

Oxford  is served  by a rapid  and convenient  rail service  from London
Paddington,  and  rail  services  from  the  north  via  Birmingham  and
Coventry.  There are coach services  from the London  airports  and from
London  Victoria  coach  station.  Traffic  and  parking  in Oxford  are
chaotic, and you are not encouraged to bring a motor car.


                            Contacts

Questions  about  the  subjects  of the  workshop  and  other  technical
enquiries can be addressed to one of the organisers:

  Geraint Jones                         Mary Sheeran
  Programming Research Group            Department of Computing Science
  11 Keble Road                         University of Glasgow
  Oxford OX1 3QD                        Glasgow G12 8QQ
      geraint@prg.oxford.ac.uk              ms@cs.glasgow.ac.uk

Submitted papers and all other correspondence should be sent to:

  DCC Workshop
  Programming Research Group
  Oxford University Computing Laboratory
  11 Keble Road                                     Tel: +44 865 273851
  Oxford OX1 3QD                                    Fax: +44 865 273839
  United Kingdom                          dcc-workshop@prg.oxford.ac.uk


                                                        -- gj 16.i.1990

