[CB] ================================================ AMAST Links 02 08

          3rd Workshop on Designing Correct Circuits, DCC'96
              Baastad, Sweden, September 2nd - 4th, 1996

   The full version of this _Call for Papers_ is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i08/full/AC0208CB.txt

  The third workshop on Designing Correct Circuits will be held on 2nd
September to 4th September 1996 at Baastad in Southern Sweden. This 
workshop is being organised by Satnam Singh (Glasgow), Mary Sheeran 
(Chalmers) and Geraint Jones (Oxford). Relevant topics include but are
not limited to: formal hardware design languages, hardware design by 
transformation, computer-aided design and verification of hardware, 
high level synthesis and silicon compilation, techniques for the design
of FPGA circuits, methods for designing testable circuits, analysis of
circuit descriptions, novel VLSI algorithms and architectures, 
asynchronous circuit design.
  *Submissions*
  You are invited to submit four copies of a draft full paper on a 
relevant subject by Wednesday 31 January 1996. Notification of 
acceptance will be posted by mid April, and revised papers will be due
about six weeks later. The email address for submissions and more 
information is:
   dcc-workshop@comlab.ox.ac.uk
The most up-to-date information about this workshop can be found on the
WWW at the URL:
  http://www.dcs.gla.ac.uk/~satnam/dcc.html
Papers can be sent by post to:
   DCC'96 Workshop, Satnam Singh, Dept. Computing Science,
   University of Glasgow, Scotland, G12 8QQ United Kingdom 
   Tel: +44 141 330 4454, Email: satnam@dcs.gla.ac.uk