p_behnam's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
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
first | previous | Page 2 | next | last Total of 65 CFPs in 4 pages