All CFPs for "verification"

CFPs in the table are ordered by the end date.

Click on the CFP acronym to open this CFP.

To add a CFP to your watchlist, click .

Click on a topic to see related CFPs.

CFPs are ordered by the end date.

The table below uses the following colors: in my watchlist, other.

Acronym	Name	Location	Submission deadline	Start date	Topics
LPAR-21	21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning	Maun, Botswana	Jan 22, 2017	May 07, 2017	computational logic automated reasoning artificial intelligence verification
SPIN 2017	24th International SPIN Symposium on Model Checking of Software	Santa Barbara, CA, USA	Feb 10, 2017	Jul 13, 2017	software verification analysis model checking
VECoS 2017	11th International Conference on Verification and Evaluation of Computer and Communication Systems	Montreal, Canada	May 08, 2017	Aug 24, 2017	distributed systems verification control dependability
SAS 2017	24th International Static Analysis Symposium	New York City, NY, USA	Apr 27, 2017	Aug 30, 2017	static analysis program analysis abstract interpretation verification
CONCUR 2017	28th International Conference on Concurrency Theory	Berlin, Germany	Apr 21, 2017	Sep 05, 2017	concurrency verification models foundations
SEFM 2017	The 15th International Conference on Software Engineering and Formal Methods	Trento, Italy	Apr 13, 2017	Sep 04, 2017	software engineering formal methods verification modeling
MoDeVVa 2017	14th Workshop on Model Driven Engineering, Verification and Validation	Austin, TX, USA	Jul 07, 2017	Sep 17, 2017	model driven engineering verification validation
iFM 2017	13th International Conference on integrated Formal Methods	Turin, Italy	Apr 27, 2017	Sep 18, 2017	verification formal methods modelling analysis
PROOFS 2017	6th International Workshop on Security Proofs for Embedded Systems	Taipei, Taiwan	Jul 07, 2017	Sep 29, 2017	security formal methods embedded systems verification