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