| Event | When | Where | Deadline | |
| 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) |
| ISQED 2012 |
13th International Symposium on Quality Electronic Design | |
| Mar 19, 2012 - Mar 21, 2012 |
Santa Clara, USA |
Sep 26, 2011 |
| TAU 2012 |
ACM International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems | |
| Jan 18, 2012 - Jan 20, 2012 |
Taipei, Taiwan |
Oct 1, 2011 |
| MMB+DFT 2012 |
16th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault-Tolerance” | |
| Mar 19, 2012 - Mar 21, 2012 |
Kaiserslautern, Germany |
Oct 14, 2011 |
| CAV 2012 |
24th International Conference on Computer Aided Verification | |
| Jul 7, 2012 - Jul 13, 2012 |
Berkeley, CA, USA |
Jan 22, 2012 (Jan 15, 2012) |
| VOLT 2012 |
1st International Workshop on the Verification and Validation of Model Transformations | |
| Apr 21, 2012 - Apr 21, 2012 |
Monteal QC, Canada |
Jan 30, 2012 |
| FM 2012 |
18th International Symposium on Formal Methods | |
| Aug 27, 2012 - Aug 31, 2012 |
Paris, France |
Mar 5, 2012 |
| ISLPED 2012 |
International Symposium on Low Power Electronics and Design | |
| Jul 25, 2012 - Jul 27, 2012 |
Redondo Beach, CA, USA |
Mar 9, 2012 (Mar 2, 2012) |
| MEMOCODE 2012 |
ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign | |
| Jul 16, 2012 - Jul 18, 2012 |
Arlington, Virginia |
Mar 9, 2012 (Mar 2, 2012) |
| ATVA 2012 |
10th International Symposium on Automated Technology for Verification and Analysis | |
| Oct 3, 2012 - Oct 6, 2012 |
Thiruvananthapuram (Trivandrum), India |
Apr 30, 2012 |
| CiSE special issue Jan/Feb 2012 |
Digital Manufacturing | |
| N/A |
N/A |
May 1, 2012 |
| FMCAD 2012 |
Formal Methods in Computer-Aided Design | |
| Oct 22, 2012 - Oct 25, 2012 |
Microsoft Research Cambridge, UK |
May 20, 2012 (May 9, 2012) |
| GandALF 2012 |
Third International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 6, 2012 - Sep 8, 2012 |
Napoli, Italy |
May 22, 2012 (May 16, 2012) |
| PDMC 2012 |
11th International Workshop on Parallel and Distributed Methods in verifiCation | |
| Sep 17, 2012 - Sep 17, 2012 |
London, UK |
Jun 1, 2012 (May 25, 2012) |
| MICRO 2012 |
International Symposium on Microarchitecture | |
| Dec 1, 2012 - Dec 5, 2012 |
Vancouver, BC, Canada |
Jun 8, 2012 (Jun 1, 2012) |
| RSP 2012 |
23rd IEEE International Symposium on Rapid System Prototyping | |
| Oct 11, 2012 - Oct 12, 2012 |
Tampere, Finland |
Jun 8, 2012 |
| HiPEAC 2013 |
8th International Conference on High-Performance and Embedded Architectures and Compilers | |
| Jan 21, 2013 - Jan 23, 2013 |
Berlin, Germany |
Jun 18, 2012 |
| HLDVT 2012 |
IEEE International High-Level Design, Validation and Test Workshop | |
| Nov 9, 2012 - Nov 10, 2012 |
Huntington Beach, California |
Jul 6, 2012 (Jun 29, 2012) |
| ASPDAC 2013 |
18th Asia and South Pacific Design Automation Conference | |
| Jan 22, 2013 - Jan 25, 2013 |
Yokohama, Japan |
Jul 13, 2012 |
| IEICE FA 2012 |
Special Section on Formal Approach, IEICE Trans | |
| N/A |
N/A |
Jul 18, 2012 |
|
