Changes between Version 12 and Version 13 of Conferences


Ignore:
Timestamp:
05/31/16 17:11:24 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v12 v13  
    55|| CAV || Jan || Jul || Computer Aided Verification ||
    66|| ISSTA || Jan || Jul || software testing & analysis ||
    7 || FMo || Jan  || Jun || Formal Methods (odd years) ||
     7|| FM || Jan/May || Jun/Nov || Formal Methods ||
    88|| !EuroPar || Feb ||  Aug || European Parallel Computing ||
    99|| NSV || Feb-May || Apr-Jul || Int'l workshop on Numerical Software Verification ||
    … …  
    1515|| ASE || Apr || Sep || Automated Software Engineering ||
    1616|| EuroMPI || May || Sep || MPI ||
    17 || FMe || May || Nov  || Formal Methods (even years) ||
    1817|| SYNASC || Jun || Sep || Symbolic & Numeric algorithms for Scientific Computing || 6/10 || 6/22 || 9/24–27 ||
    1918|| POPL || Jul  || Jan || Principles of Programming Languages, 12 ACM pages ||