Changes between Version 10 and Version 11 of Conferences


Ignore:
Timestamp:
05/31/16 16:52:59 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v10 v11  
    11
    22
    3 ||= Name =||= deadline =||=  conf =||= subject/title =||
    4 || SPIN || Jan || Apr  || model checking ||
     3||= Name =||= deadline =||=  conf =||= subject/title =|| 2016a || 2016p || 2016 || 2017a || 2017p || 2017 ||
     4|| SPIN || Jan || Apr  || model checking || || 1/18 || 4/7–8 || || || 7/? ||
    55|| CAV || Jan || Jul || Computer Aided Verification ||
    66|| ISSTA || Jan || Jul || software testing & analysis ||
    … …  
    1212|| PACT || Mar || Sep || Parallel Architectures and Compilation Techniques ||
    1313|| SCxx || Apr || Nov || Supercomputing: HPC ||
    14 || ISOLA || Apr || Oct  || Intl. Symposium On Leveraging Apps of formal methods, verification, and validation ||
     14|| ISOLA || Apr || Oct  || Applications of formal methods, verification, and validation ||
    1515|| ASE || Apr || Sep || Automated Software Engineering ||
    1616|| EuroMPI || May || Sep || MPI ||
    1717|| FMe || May || Nov  || Formal Methods (even years) ||
    18 || SYNASC || Jun || Sep || Symbolic/Numeric algorithms for Scientific Computing||
     18|| SYNASC || Jun || Sep || Symbolic & Numeric algorithms for Scientific Computing || 6/10 || 6/22 || 9/24–27 ||
    1919|| POPL || Jul  || Jan || Principles of Programming Languages, 12 ACM pages ||
    2020|| ICSE || Sep || May || Intl. Conference on Software Engineering ||