| Event | When | Where | Deadline | |
| MEMOCODE 2008 |
6th ACM/IEEE Conference on Formal Methods and Programming Models for Codesign | |
| Jun 5, 2008 - Jun 5, 2008 |
Anaheim, CA, USA |
Feb 1, 2008 |
| ESWEEK 2008 |
Third Embedded Systems Week (jointly CODES+ISSS, EMSOFT, and CASES) | |
| Oct 19, 2008 - Oct 24, 2008 |
Atlanta, GA, US |
Apr 14, 2008 (Apr 7, 2008) |
| FMCAD 2008 |
Formal Methods in Computer-Aided Design | |
| Nov 17, 2008 - Nov 20, 2008 |
Portland, OR, USA |
May 12, 2008 |
| ISQED 2009 |
10th International Symposium on Quality Electronic Design | |
| Mar 16, 2009 - Mar 18, 2009 |
San Jose, CA, USA |
Oct 10, 2008 |
| LCTES 2009 |
ACM SIGPLAN/SIGBED 2009 Conference on Languages, Compilers, and Tools for Embedded Systems | |
| Jun 19, 2009 - Jun 20, 2009 |
Dublin, Ireland |
Feb 9, 2009 |
| SoC 2009 |
International Symposium on System-on-Chip | |
| Oct 6, 2009 - Oct 7, 2009 |
Tampere, Finland |
May 29, 2009 |
| ICM 2009 |
21th IEEE International Conference on Microelectronics | |
| Dec 19, 2009 - Dec 22, 2009 |
Marrakech, Morocco |
Jun 28, 2009 |
| FPGA 2010 |
ACM/SIGDA International Symposium on Field Programmable Gate Arrays | |
| Feb 21, 2010 - Feb 23, 2010 |
Monterey, CA, USA |
Sep 20, 2009 |
| TACAS 2010 |
Sixteenth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS | |
| Mar 20, 2010 - Mar 28, 2010 |
Paphos, Cyprus |
Oct 8, 2009 (Oct 1, 2009) |
| ASQED 2010 |
Asia Symposium on Quality Electronic Design | |
| Sep 3, 2010 - Sep 4, 2010 |
Penang, Malaysia |
Mar 16, 2010 |
| ICCAD 2010 |
The International Conference on Computer-Aided Design | |
| Nov 7, 2010 - Nov 7, 2010 |
San Jose, CA, USA |
Apr 19, 2010 |
| ARCS 2010 |
2010 International Conference on Automation, Robotics and Control Systems | |
| Jul 12, 2010 - Jul 14, 2010 |
Orlando, USA |
May 31, 2010 |
| SM2ACD 2010 |
2010 XIth International Workshop on Symbolic and Numerical Methods, Modeling and Applications to Circuit Design | |
| Oct 5, 2010 - Oct 6, 2010 |
Gammarth, Tunisia |
Jun 15, 2010 |
| DELTA 2011 |
IEEE 6th International Symposium on Electronic Design, Test and Application | |
| Jan 17, 2011 - Jan 19, 2011 |
Queenstown, New Zealand |
Aug 13, 2010 |
| GLSVLSI 2011 |
Great Lakes Symposium on VLSI 2011 | |
| May 2, 2011 - May 4, 2011 |
Lausanne, Switzerland |
Dec 5, 2010 |
| NOCS 2011 |
International Symposium on Networks-on-Chip | |
| May 1, 2011 - May 4, 2011 |
Pittsburgh, Pennsylvania, USA |
Dec 17, 2010 (Dec 10, 2010) |
| A-MOST 2011 |
7th Workshop on Advances in Model Based Testing | |
| Mar 21, 2011 - Mar 21, 2011 |
Berlin |
Jan 7, 2011 |
| PATMOS 2011 |
International Workshop on Power And Timing Modeling, Optimization and Simulation | |
| Sep 26, 2011 - Sep 29, 2011 |
Madrid, Spain |
May 15, 2011 |
| HASE 2011 |
High Assurance Systems Engineering | |
| Nov 10, 2011 - Nov 12, 2011 |
Boca Raton, FL, USA |
Jul 5, 2011 |
| VMCAI 2012 |
13th International Conference on Verification, Model Checking, and Abstract Interpretation | |
| Jan 22, 2012 - Jan 24, 2012 |
Philadelphia, USA |
Aug 19, 2011 (Aug 12, 2011) |
|
