Conference Pattern				2016			2017
Name	deadline	conf	subject/title	A	P	C	A	P	C
SPIN	Jan	Apr	model checking		1/18	4/7–8			​7/16–17
CAV	Jan	Jul	Computer Aided Verification
CADE	Jan	Jun	Conf. on Automated Deduction	1/18	1/25	6/27–30			8/?
ISSTA	Jan	Jul	software testing & analysis
FM	Jan/May	Jun/Nov	Formal Methods
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
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.