Conference Pattern				2016			2017
Name	deadline	conf	subject/title	A	P	C	A	P	C
SPIN	Jan	Apr	​Int'l SPIN Symposium on Model Checking Software		1/18	​4/7–8			​7/16–17
CAV	Jan	Jul	​Int'l Conference on Computer Aided Verification	1/24	1/29	​7/20–23
CADE	Jan	Jun	​Conf. on Automated Deduction	1/18	1/25	​6/27–7/2			8/?
ISSTA	Jan	Jul	​Int'l Symposium on Software Testing & Analysis		1/29	​7/18–20
FM	Jan/May	Jun/Nov	​Int'l Symposium on Formal Methods	5/16	5/30	​11/7–11
EuroPar	Feb	Aug	​Int'l European Conf. on Parallel & Distributed Computing	2/9	2/16	​8/22–26
NSV	Feb-May	Apr-Jul	Int'l workshop on Numerical Software Verification		5/29	​7/17–18
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
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			3/12–16		8/1	3/4–8
TACAS	Sep	Apr	Tools & Algorithms for Construction & Analysis of Systems
VMCAI	Sep	Jan	Verification, Model Checking, Abstract Interpretation
PLDI	Nov	Jun	compilers, programming languages

A = abstract deadline, P = paper deadline, C = when the conference takes place.