Changes between Version 8 and Version 9 of Conferences

Timestamp:

04/26/16 16:12:49 (10 years ago)

Author:

siegel

Comment:

--

Conferences

@@ -2 +2 @@
 
 ||= 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) ||
+|| 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 ||
 || NSV || Feb-May || Apr-Jul || Int'l workshop on Numerical Software Verification || 
-|| NFM ||     Feb ||  Jun || NASA Formal Methods ||
-|| FSE ||     Mar ||  Nov || Foundations of Software Engineering ||
+|| 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 ||
+|| 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 ||