Conference		2016			2017
Name	Full Name	A	P	C	A	P	C
SPIN	​Int'l SPIN Symposium on Model Checking Software		01/18	​04/07–08			​07/16–17
CADE	​Conf. on Automated Deduction	01/18	01/25	​06/27–02			08/?
CAV	​Int'l Conference on Computer Aided Verification	01/24	01/29	​07/20–23
ISSTA	​Int'l Symposium on Software Testing & Analysis		01/29	​07/18–20
ICS	​ACM Int'l Conf. Supercomputing	01/15	01/30	​06/01–03
EuroPar	​Int'l European Conf. on Parallel & Distributed Computing	02/09	02/16	​08/22–26
NFM	​NASA Formal Methods		02/19	​06/07–09
FSE	​ACM/SIGSOFT Int'l Symp. Foundations of Software Engineering		03/11	​11/13–18
PACT	​Parallel Architectures and Compilation Techniques	03/14	03/21	​09/11–15
SCxx	​Int'l Conf. HPC, Networking, Storage & Analysis	03/27	04/03	​11/13–18
ASE	​IEEE/ACM Int'l Conf. Automated Software Engineering	04/22	04/29	​09/03–07
EuroMPI	The MPI Users and Developers Conf.		05/01	​09/25–28
ISOLA	​Int'l Conf. Leveraging Apps. Formal Methods, Verification & Validation	04/25	05/02	​10/10–14
NSV	Int'l workshop on Numerical Software Verification		05/29	​07/17–18
FM	​Int'l Symposium on Formal Methods	05/16	05/30	​11/07–11
SYNASC	​Symbolic & Numeric Algorithms for Scientific Computing	06/10	06/22	​09/24–27
POPL	​Principles of Programming Languages	07/03	07/10	​01/20–23	07/01	07/06	​01/18–20
SC2	​Int'l Workshop on Satisfiability Checking & Scientific Computing		07/15	​09/24
ICSE	​Intl. Conference on Software Engineering		08/28	​05/14–22		08/26	​05/20–28
PPoPP	​ACM SIGPLAN Symp. Principles & Practice of Parallel Programming	09/04	09/11	​03/12–16		08/01	​03/04–08
VMCAI	​Verification, Model Checking, & Abstract Interpretation	09/04	09/11	​01/17–19
TACAS	​Tools & Algorithms for Construction & Analysis of Systems	10/09	10/16	​04/02–08			​04/22–29
PLDI	​Programming Language Design & Implementation		11/20	​06/13–17

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