Event | When | Where | Deadline | |
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 |
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 |
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 |
ASPLOS 2013 |
International Conference on Architectural Support for Programming Languages and Operating Systems | |
Mar 16, 2013 - Mar 20, 2013 |
Houston, Texas, USA |
Jul 23, 2012 (Jul 16, 2012) |
VLSID 2013 |
26th International Conference on VLSI Design: concurrently with the 12th International Conference on Embedded Systems Design | |
Jan 5, 2013 - Jan 10, 2013 |
Pune, India |
Jul 24, 2012 |
ACES-MB 2012 |
CfP MoDELS 2012 Workshop on Model Based Architecting and Construction of Embedded Systems | |
Sep 30, 2012 - Sep 30, 2012 |
Innsbruck, Austria |
Jul 26, 2012 |
|