ETAPS 2010 Designing Correct Circuits 2010
20-21 March 2010, Paphos, Cyprus
A satellite event of the ETAPS 2010 group of conferences


Abstracts due: Monday 23 November 2009
Notification of acceptance: Monday 21 December 2009
Final version: Wednesday 20 January 2010
The Workshop:
About DCC'10
(Programme, including presented slides)
(Pre-Proceedings)


Call for papers:
PDF version
Text version


Programme Committee:
Arvind, MIT
Per Bjesse, Synopsys
Wolfgang Kunz, University of Kaiserslautern
Bob Kurshan, Cadence Design Systems
Pete Manolios, Northeastern University
Andy Martin, IBM
Tom Melham, University of Oxford
Gordon Pace, University of Malta
Marc Pouzet, University of Paris-Sud
Carl Seger, Intel
Satnam Singh, Microsoft Research
Joe Stoy, Bluespec


Contact:
Joe Stoy

Proceedings

    These are the "pre-proceedings" distributed to those attending the Workshop.