The full version of this Call for Papers is available.
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.ukThe most up-to-date information about this workshop can be found on the WWW . 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