Conference Pattern				2016			2017
Name	Deadline	Conf	Full Name	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		2/19	​6/7–9
FSE	Mar	Nov	​ACM/SIGSOFT Int'l Symp. Foundations of Software Engineering		3/11	​11/13–18
PACT	Mar	Sep	​Parallel Architectures and Compilation Techniques	03/14	03/21	​09/11-15
SCxx	Apr	Nov	​Int'l Conf. HPC, Networking, Storage & Analysis	3/27	4/3	​11/13–18
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 & Practice of Parallel Programming	9/4	9/11	​3/12–16		8/1	​3/4–8
TACAS	Sep	Apr	​Tools & Algorithms for Construction & Analysis of Systems	10/9	10/16	​4/2–8			​4/22–29
VMCAI	Sep	Jan	​Verification, Model Checking, & Abstract Interpretation	9/4	9/11	​1/17–19
PLDI	Nov	Jun	​Programming Language Design & Implementation		11/20	​6/13–17

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