Changes between Version 3 and Version 4 of Conferences


Ignore:
Timestamp:
02/24/16 15:44:44 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v3 v4  
    22
    33||= Name =||= deadline =||=  conf =||= subject =||
    4 || SPIN ||  Jan ||   Apr  || (model checking)||
    5 ||CAV||     Jan ||  Jul || (Computer Aided Verification)||
    6 ||ISSTA ||   Jan ||  Jul ||  (software testing, analysis)||
    7 ||FMo ||    Jan  || Jun ||  (Formal Methods) ||
    8 ||EuroPar || Feb ||  Aug || (European Parallel Computing) ||
    9 || NFM ||     Feb ||  Jun ||  (NASA Formal Methods) ||
    10 || FSE ||     Mar ||  Nov ||  (Foundations of Software Engineering)  ||
    11 ||SCxx ||    Apr || Nov ||  (Supercomputing: HPC) ||
    12 || ISOLA ||   Apr  || Oct  || (Intl Symposium On Leveraging Apps of formal methods, verification, and validation)||
    13 || ASE ||     Apr ||  Sep || (Automated Software Engineering) ||
    14 || EuroMPI || May  || Sep || (MPI) ||
    15 || FMe ||     May ||  Nov  ||
    16 || POPL ||    Jul  || Jan ||  (Principles of Programming Languages, 12 ACM pages)||
    17 || ICSE ||    Sep ||  May ||  (Intl Conference on Software Engineering) ||
    18 || PPoPP ||   Sep ||  Feb ||  (Principles & Practices of Parallel Programming) ||
    19 || TACAS ||   Sep ||  Apr  () ||
    20 || VMCAI ||   Sep ||  Jan ||  (Verification, Model Checking, Abstract Interpretation)  ||
    21 || PLDI ||  Nov ||  Jun ||  (compilers, programming languages) ||
     4|| SPIN ||  Jan ||   Apr  ||(model checking) ||
     5|| CAV ||     Jan ||  Jul ||(Computer Aided Verification) ||
     6|| ISSTA ||   Jan ||  Jul ||(software testing, analysis)||
     7|| FMo ||Jan  || Jun ||(Formal Methods) ||
     8|| EuroPar || Feb ||  Aug ||(European Parallel Computing) ||
     9|| NFM ||     Feb ||  Jun ||(NASA Formal Methods) ||
     10|| FSE ||     Mar ||  Nov ||(Foundations of Software Engineering)  ||
     11|| SCxx ||    Apr || Nov ||(Supercomputing: HPC) ||
     12|| ISOLA ||Apr  || Oct  ||(Intl Symposium On Leveraging Apps of formal methods, verification, and validation)||
     13|| ASE ||     Apr ||  Sep ||(Automated Software Engineering) ||
     14|| EuroMPI || May  || Sep ||(MPI) ||
     15|| FMe ||     May ||  Nov  || ||
     16|| POPL ||Jul  || Jan ||(Principles of Programming Languages, 12 ACM pages)||
     17|| ICSE ||    Sep ||  May ||(Intl Conference on Software Engineering) ||
     18|| PPoPP ||   Sep ||  Feb ||(Principles & Practices of Parallel Programming) ||
     19|| TACAS ||   Sep ||  Apr   ||() ||
     20|| VMCAI ||   Sep ||  Jan ||(Verification, Model Checking, Abstract Interpretation)  ||
     21|| PLDI ||  Nov ||  Jun ||(compilers, programming languages) ||