||= 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)  ||
||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) ||