Changes between Version 2 and Version 3 of Conferences


Ignore:
Timestamp:
02/24/16 13:51:45 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v2 v3  
    11
    22
    3 ||= Name =|| deadline ||  conf || subject ||
     3||= Name =||= deadline =||=  conf =||= subject =||
    44|| SPIN ||  Jan ||   Apr  || (model checking)||
    55||CAV||     Jan ||  Jul || (Computer Aided Verification)||
    66||ISSTA ||   Jan ||  Jul ||  (software testing, analysis)||
    77||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,
    13                      verification, and validation)
    14 ASE:     Apr   Sep  (Automated Software Engineering)
    15 EuroMPI: May   Sep  (MPI)
    16 FMe:     May   Nov 
    17 POPL:    Jul   Jan  (Principles of Programming Languages, 12 ACM pages)
    18 ICSE:    Sep   May  (Intl Conference on Software Engineering)
    19 PPoPP:   Sep   Feb  (Principles & Practices of Parallel Programming)
    20 TACAS:   Sep   Apr  ()
    21 VMCAI:   Sep   Jan  (Verification, Model Checking, Abstract Interpretation) 
    22 PLDI:    Nov   Jun  (compilers, programming languages)
     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) ||