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	11/28	12/05	​05/16-18
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	09/18	09/21	​01/15–17
TACAS	​Tools & Algorithms for Construction & Analysis of Systems	10/09	10/16	​04/02–08	10/14	10/21	​04/22–29
SCAM	​Source Code Analysis and Manipulation		06/08	​09/23–18
FACS	​Formal Aspects of Component Software		06/08	​10/10–18
ICECCS	​Engineering on Complex Computer Systems		06/15	​12/12–18
GandALF	​Games, Automata, Logics, and Formal Verification		06/13	​09/26–18
RP	​Reachablity Problems		05/31	​09/24–18
ATVA	​http://atva-conference.org/call-for-papers/		05/11	​10/7-10

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

Plan:
contracts: PPoPP
independence PPoPP
OMP->CIVL: PPoPP
SARL: SC²