|
|
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.
|
|
|