Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Tue, 5 Sep 1995 11:46:31 +0100 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA046556527; Tue, 5 Sep 1995 04:22:07 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: list Received: from vanuata.dcs.gla.ac.uk by leopard.cs.byu.edu with ESMTP (1.37.109.15/16.2) id AA046416516; Tue, 5 Sep 1995 04:21:56 -0600 Received: from gozo.dcs.gla.ac.uk by vanuata.dcs.gla.ac.uk with LOCAL SMTP (PP); Tue, 5 Sep 1995 11:11:33 +0100 To: info-hol@leopard.cs.byu.edu, lambda-usergroup@dcs.ed.ac.uk Cc: tfm@dcs.gla.ac.uk, satnam@dcs.gla.ac.uk Subject: Advance notice/Cfp -- DCC-96 Date: Tue, 05 Sep 1995 11:11:29 +0100 From: Tom Melham Message-ID: <"swan.cl.cam.:142490:950905104714"@cl.cam.ac.uk> 3rd Workshop on Designing Correct Circuits ========================================== The third workshop on Designing Correct Circuits will be held on Monday 2 September to Wednesday 4 September 1996 at Baastad in Southern Sweden. The two previous DCC workshops have been held in Oxford and Lyngby. 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, > techniques for the design of FPGA circuits, > methods of designing testable circuits, > analysis of circuit descriptions, > novel VLSI algorithms and architectures, > asynchronous circuit design. 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. The program committee for this workshop will include: > Kees van Berkel (Philips, The Netherlands) > Graham Birtwistle (University of Leeds, UK) > Albert Camilleri (Hewlett-Packard, USA) > Geraint Jones (University of Oxford, UK) > Wayne Luk (Imperial College, UK) > Tom Melham (University of Glasgow, UK) > Robin Sharp (Technical University of Denmark, Denmark) > Mary Sheeran (Chalmers Technical University, Sweden) > Satnam Singh (University of Glasgow, UK) > Richard Taylor (Hewlett-Packard, UK) Call for Papers =============== You are invited to submit a draft full paper (four copies if convenient) 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 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 ____________________________________________________________________________ Tom