Changes between Version 5 and Version 6 of Conferences

Timestamp:

04/26/16 14:08:11 (10 years ago)

Author:

siegel

Comment:

--

Conferences

@@ -1 +1 @@
 
 
-||= 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) ||
+||= 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 ||