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