Changes between Version 7 and Version 8 of Conferences


Ignore:
Timestamp:
04/26/16 14:15:40 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v7 v8  
    77|| FMo ||Jan  || Jun || Formal Methods (odd years) ||
    88|| !EuroPar || Feb ||  Aug || European Parallel Computing ||
     9|| NSV || Feb-May || Apr-Jul || Int'l workshop on Numerical Software Verification ||
    910|| NFM ||     Feb ||  Jun || NASA Formal Methods ||
    1011|| FSE ||     Mar ||  Nov || Foundations of Software Engineering ||
    … …  
    1213|| SCxx ||    Apr || Nov || Supercomputing: HPC ||
    1314|| ISOLA ||Apr  || Oct  || Intl. Symposium On Leveraging Apps of formal methods, verification, and validation ||
    14 || ASE ||     Apr ||  Sep || Automated Software Engineering ||
     15|| ASE || Apr ||  Sep || Automated Software Engineering ||
    1516|| EuroMPI || May  || Sep || MPI ||
    1617|| FMe ||     May ||  Nov  || Formal Methods (even years) ||