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)