Verification

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
RSP 2012 23rd IEEE International Symposium on Rapid System Prototyping
Oct 11, 2012 - Oct 12, 2012 Tampere, Finland Jun 8, 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)
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)
FMCAD 2012 Formal Methods in Computer-Aided Design
Oct 22, 2012 - Oct 25, 2012 Microsoft Research Cambridge, UK May 20, 2012 (May 9, 2012)
ForMASECC 2012 Workshop on Formal Methods and Automated Software Engineering for Cloud Computing
Sep 4, 2012 - Sep 7, 2012 Fukuoka May 7, 2012
FMICS 2012 17th International Workshop on Formal Methods for Industrial Critical Systems
Aug 27, 2012 - Aug 28, 2012 Paris, France Apr 4, 2012 (Mar 28, 2012)
MSVVEIS 2012 10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2012
Jun 28, 2012 - Jun 28, 2012 Wrocław, Poland Mar 30, 2012
PSSV 2012 Program Semantics, Specification and Verification: Theory and Applications
Jul 1, 2012 - Jul 2, 2012 Nizhni Novgorod, Russia Mar 25, 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)
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
CAV 2012 24th International Conference on Computer Aided Verification
Jul 7, 2012 - Jul 13, 2012 Berkeley, CA, USA Jan 22, 2012 (Jan 15, 2012)
ACSD 2012 12th International Conference on Application of Concurrency to System Design
Jun 27, 2012 - Jun 29, 2012 Hamburg, Germany Jan 20, 2012 (Jan 13, 2012)
MPC 2012 Mathematics of Program Construction
Jun 25, 2012 - Jun 27, 2012 Madrid Jan 16, 2012 (Jan 9, 2012)
Bytecode 2012 Seventh Workshop on Bytecode Semantics, Verification, Analysis and Transformation
Mar 31, 2012 - Mar 31, 2012 Tallinn, Estonia Jan 4, 2012
QAPL 2012 Tenth Workshop on Quantitative Aspects of Programming Languages
Mar 31, 2012 - Apr 1, 2012 Tallinn, Estonia Dec 20, 2011 (Dec 17, 2011)
NFM 2012 Fourth NASA Formal Methods Symposium
Apr 3, 2012 - Apr 5, 2012 Norfolk, Virginia, USA Dec 11, 2011
ETS 2012 17th IEEE European Test Symposium
May 28, 2012 - Jun 1, 2012 ANNECY, FRANCE - IMPERIAL PALACE Dec 5, 2011
ICST 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
Apr 18, 2012 - Apr 22, 2012 Montreal, Canada Nov 4, 2011 (Oct 28, 2011)
MBMV 2012 15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Mar 5, 2012 - Mar 7, 2012 Kaiserslautern, Germany Oct 28, 2011
TACAS 2012 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Mar 24, 2012 - Apr 1, 2012 Tallinn, Estonia Oct 14, 2011 (Oct 7, 2011)
first | previous | Page 13 | next | last Total of 344 CFPs in 18 pages