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
CADE	Jan	Jun	​Conf. on Automated Deduction	01/18	01/25	​06/27–02			08/?
CAV	Jan	Jul	​Int'l Conference on Computer Aided Verification	01/24	01/29	​07/20–23
ISSTA	Jan	Jul	​Int'l Symposium on Software Testing & Analysis		01/29	​07/18–20
ICS	Jan	Jun	​ACM Int'l Conf. Supercomputing	01/15	01/30	​06/01--03
EuroPar	Feb	Aug	​Int'l European Conf. on Parallel & Distributed Computing	02/09	02/16	​08/22–26
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
ASE	Apr	Sep	​IEEE/ACM Int'l Conf. Automated Software Engineering	04/22	04/29	​09/03–07
EuroMPI	May	Sep	The MPI Users and Developers Conf.		05/01	​09/25–28
ISOLA	Apr	Oct	​Int'l Conf. Leveraging Apps. Formal Methods, Verification & Validation	04/25	05/02	​10/10–14
NSV	Feb-May	Apr-Jul	Int'l workshop on Numerical Software Verification		05/29	​07/17–18
FM	Jan/May	Jun/Nov	​Int'l Symposium on Formal Methods	05/16	05/30	​11/07–11
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–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
VMCAI	Sep	Jan	​Verification, Model Checking, & Abstract Interpretation	09/04	09/11	​01/17–19
TACAS	Sep	Apr	​Tools & Algorithms for Construction & Analysis of Systems	10/09	10/16	​04/02–08			​04/22–29
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