Verification

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
GANDALF 2011 2nd International Symposium on Games, Automata, Logics and Formal Verification
Jun 15, 2011 - Jun 17, 2011 Minori, Amalfi Coast, Italy Mar 20, 2011 (Mar 13, 2011)
CALCO 2011 4th Conference on Algebra and Coalgebra
Aug 29, 2011 - Sep 2, 2011 Winchester, UK Feb 13, 2011 (Feb 6, 2011)
CADE 2011 23rd International Conference on Automated Deduction
Jul 31, 2011 - Aug 5, 2011 Wroclaw, Poland Feb 7, 2011 (Feb 1, 2011)
ACSD 2011 Eleventh International Conference on Application of Concurrency to System Design
Jun 20, 2011 - Jun 24, 2011 Kanazawa, Japan Jan 24, 2011 (Jan 17, 2011)
DDECS 2011 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems
Apr 13, 2011 - Apr 14, 2011 Cottbus, Germany Jan 9, 2011
A-MOST 2011 7th Workshop on Advances in Model Based Testing
Mar 21, 2011 - Mar 21, 2011 Berlin Jan 7, 2011
NFM 2011 Third NASA Formal Methods Symposium
Apr 18, 2011 - Apr 20, 2011 Pasadena, California, USA Dec 26, 2010
ReVVerT 2011 ICST Workshop on Requirements and Validation, Verification & Testing
Mar 21, 2011 - Mar 21, 2011 Berlin, Germany Dec 21, 2010
QAPL 2011 Ninth Workshop on Quantitative Aspects of Programming Languages
Apr 1, 2011 - Apr 3, 2011 Saarbrücken, Germany Dec 17, 2010
MBT 2011 Model-Based Testing
Apr 2, 2011 - Apr 3, 2011 Saarbrücken Dec 6, 2010
MBMV 2011 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Feb 21, 2011 - Feb 23, 2011 Oldenburg, Germany Nov 7, 2010
HSCC 2011 International Conference on Hybrid Systems: Computation and Control
Apr 12, 2011 - Apr 14, 2011 Chicago, IL, USA Oct 10, 2010
FoSSaCS 2011 14th International Conference on Foundations Of Software Science And Computation Structures
Mar 26, 2011 - Apr 3, 2011 Saarbruecken, Germany Oct 8, 2010 (Oct 4, 2010)
TACAS 2011 International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Mar 26, 2011 - Apr 3, 2011 Saarbrücken, Germany Oct 8, 2010 (Oct 1, 2010)
ICST 2011 International Conference on Software Testing, Validation and Verification
Mar 21, 2011 - Mar 25, 2011 Berlin Oct 1, 2010 (Sep 25, 2010)
MTV 2010 International Workshop on Microprocessor Test and Verification
Dec 13, 2010 - Dec 14, 2010 Austin, Texas, USA Sep 15, 2010
DATE 2011 Design, Automation & Test in Europe
Mar 14, 2011 - Mar 18, 2011 Grenoble, France Sep 5, 2010
VMCAI 2011 12th International Conference on Verification, Model Checking, and Abstract Interpretation
Jan 23, 2011 - Jan 25, 2011 Austin, TX, USA Aug 29, 2010 (Aug 22, 2010)
WMSC 2010 The **2nd International Workshop on Workflow Management in Service and Cloud Computing**
Dec 11, 2010 - Dec 13, 2010 Hongkong, China Aug 15, 2010
ACES 2010 3rd International Workshop on Model Based Architecting and Construction of Embedded Systems
Oct 3, 2010 - Oct 5, 2010 Oslo, Norway Jul 15, 2010
first | previous | Page 11 | next | last Total of 241 CFPs in 13 pages