Conferences & Journals
Robert Jones
This is a list of some conferences that are relevant to my
research.
In 2004, I am chairing the SIGDA Ph.D. Forum at DAC and am on the
program committees for FMCAD and HLDVT.
- DAC
: Design Automation Conference (San Diego, June)
- SIGDA
Ph.D. Forum : with Design Automation Conference (San Diego, June)
- CAV
: International Conference on Computer-Aided Verification (Boston, July)
- FMCAD
: Formal Methods in Computer-Aided Design (Austin, November)
- HLDVT
: High-Level Design Validation and Test Workshop (TBD, November)
- ICCAD
: International Conference on Computer-Aided Design (San Jose, November)
And some of the relevant journals:
- D&T
: IEEE Design and Test of Computers
- FMSD
: Formal Methods in System Design
- TCAD
: IEEE Transactions on Computer-Aided Design of Integrated Circuits
and Systems
- TODAES
: ACM Transactions on Design Automation of Electronic Systems
Robert Jones,
rjones @ ichips.intel.com
Last Modified: 25 January 2004