||= Name =||= deadline =||=  conf =||= subject/title =|| 2016a || 2016p || 2016 || 2017a || 2017p || 2017 ||
|| SPIN || Jan || Apr  || model checking || || 1/18 || 4/7–8 || || || 7/? ||
|| CAV || Jan || Jul || Computer Aided Verification ||
|| ISSTA || Jan || Jul || software testing & analysis ||
|| FM || !Jan/May || !Jun/Nov || Formal Methods ||
|| !EuroPar || Feb ||  Aug || European Parallel Computing ||
|| NSV || Feb-May || Apr-Jul || Int'l workshop on Numerical Software Verification || 
|| NFM || Feb || Jun || NASA Formal Methods ||
|| FSE || Mar ||  Nov || Foundations of Software Engineering ||
|| PACT || Mar || Sep || Parallel Architectures and Compilation Techniques ||
|| SCxx || Apr || Nov || Supercomputing: HPC ||
|| 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 ||
|| SC^2 || Jul || Sep || Satisfiability checking & scientific computing || || 7/15 || 9/24 ||
|| ICSE || Sep || May || Intl. Conference on Software Engineering ||
|| PPoPP || Sep || Feb || Principles & Practices of Parallel Programming ||
|| TACAS || Sep || Apr   || Tools & Algorithms for Construction & Analysis of Systems ||
|| VMCAI || Sep || Jan || Verification, Model Checking, Abstract Interpretation ||
|| PLDI || Nov || Jun || compilers, programming languages ||