||= Name =||= deadline =||=  conf =||= subject/title =||
|| SPIN ||  Jan ||   Apr  || model checking ||
|| CAV ||     Jan ||  Jul || Computer Aided Verification ||
|| ISSTA ||   Jan ||  Jul || software testing & analysis ||
|| FMo ||Jan  || Jun || Formal Methods (odd years) ||
|| !EuroPar || Feb ||  Aug || European Parallel Computing ||
|| 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  || Intl. Symposium On Leveraging Apps of formal methods, verification, and validation ||
|| ASE ||     Apr ||  Sep || Automated Software Engineering ||
|| EuroMPI || May  || Sep || MPI ||
|| FMe ||     May ||  Nov  || Formal Methods (even years) ||
|| POPL ||Jul  || Jan || Principles of Programming Languages, 12 ACM pages ||
|| 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 ||