||= Name =||= deadline =||=  conf =||= subject =||
|| SPIN ||  Jan ||   Apr  ||(model checking) ||
|| CAV ||     Jan ||  Jul ||(Computer Aided Verification) ||
|| ISSTA ||   Jan ||  Jul ||(software testing, analysis)||
|| FMo ||Jan  || Jun ||(Formal Methods) ||
|| 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  || ||
|| 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   ||() ||
|| VMCAI ||   Sep ||  Jan ||(Verification, Model Checking, Abstract Interpretation)  ||
|| PLDI ||  Nov ||  Jun ||(compilers, programming languages) ||