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)