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		01/18	​04/07–08			​07/16–17
CAV	Jan	Jul	​Int'l Conference on Computer Aided Verification	01/24	01/29	​07/20–23
CADE	Jan	Jun	​Conf. on Automated Deduction	01/18	01/25	​06/27–07/02			08/?
ISSTA	Jan	Jul	​Int'l Symposium on Software Testing & Analysis		01/29	​07/18–20
FM	Jan/May	Jun/Nov	​Int'l Symposium on Formal Methods	05/16	05/30	​11/07–11
EuroPar	Feb	Aug	​Int'l European Conf. on Parallel & Distributed Computing	02/09	02/16	​08/22–26
NSV	Feb-May	Apr-Jul	Int'l workshop on Numerical Software Verification		05/29	​07/17–18
NFM	Feb	Jun	​NASA Formal Methods		02/19	​06/07–09
FSE	Mar	Nov	​ACM/SIGSOFT Int'l Symp. Foundations of Software Engineering		03/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	03/27	04/03	​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	06/10	06/22	09/24–27
POPL	Jul	Jan	​Principles of Programming Languages	07/03	07/10	​01/20–01/23	07/01	07/06	​01/18–20
SC2	Jul	Sep	​Int'l Workshop on Satisfiability Checking & Scientific Computing		07/15	​09/24
ICSE	Sep	May	​Intl. Conference on Software Engineering		08/28	​05/14–22		08/26	​05/20–28
PPoPP	Sep	Feb	​ACM SIGPLAN Symp. Principles & Practice of Parallel Programming	09/04	09/11	​03/12–16		08/01	​03/04–08
TACAS	Sep	Apr	​Tools & Algorithms for Construction & Analysis of Systems	10/09	10/16	​04/02–08			​04/22–29
VMCAI	Sep	Jan	​Verification, Model Checking, & Abstract Interpretation	09/04	09/11	​01/17–19
PLDI	Nov	Jun	​Programming Language Design & Implementation		11/20	​06/13–17

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