Name	deadline	conf	subject/title	2016a	2016p	2016	2017a	2017p	2017
SPIN	Jan	Apr	model checking		1/18	4/7–8			7/?
CAV	Jan	Jul	Computer Aided Verification
ISSTA	Jan	Jul	software testing & analysis
FMo	Jan	Jun	Formal Methods (odd years)
EuroPar	Feb	Aug	European Parallel Computing
NSV	Feb-May	Apr-Jul	Int'l workshop on Numerical Software Verification
NFM	Feb	Jun	NASA Formal Methods
FSE	Mar	Nov	Foundations of Software Engineering
PACT	Mar	Sep	Parallel Architectures and Compilation Techniques
SCxx	Apr	Nov	Supercomputing: HPC
ISOLA	Apr	Oct	Applications of formal methods, verification, and validation
ASE	Apr	Sep	Automated Software Engineering
EuroMPI	May	Sep	MPI
FMe	May	Nov	Formal Methods (even years)
SYNASC	Jun	Sep	Symbolic & Numeric algorithms for Scientific Computing	6/10	6/22	9/24–27
POPL	Jul	Jan	Principles of Programming Languages, 12 ACM pages
SC2	Jul	Sep	Satisfiability checking & scientific computing		7/15	9/24
ICSE	Sep	May	Intl. Conference on Software Engineering
PPoPP	Sep	Feb	Principles & Practices of Parallel Programming
TACAS	Sep	Apr	Tools & Algorithms for Construction & Analysis of Systems
VMCAI	Sep	Jan	Verification, Model Checking, Abstract Interpretation
PLDI	Nov	Jun	compilers, programming languages