Changes between Version 15 and Version 16 of Conferences


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

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v15 v16  
    1919|| SC^2 || Jul || Sep || Satisfiability checking & scientific computing || || 7/15 || 9/24 ||
    2020|| ICSE || Sep || May || Intl. Conference on Software Engineering ||
    21 || PPoPP || Sep || Feb || Principles & Practices of Parallel Programming ||
     21|| PPoPP || Sep || Feb || Principles & Practices of Parallel Programming || || || 3/12–16 || || 8/1 || 3/4–8 ||
    2222|| TACAS || Sep || Apr   || Tools & Algorithms for Construction & Analysis of Systems ||
    2323|| VMCAI || Sep || Jan || Verification, Model Checking, Abstract Interpretation ||