Changes between Version 31 and Version 32 of Conferences


Ignore:
Timestamp:
06/02/16 08:19:10 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v31 v32  
    2222|| PPoPP || Sep || Feb || Principles & Practices of Parallel Programming || || || 3/12–16 || || 8/1 || 3/4–8 ||
    2323|| TACAS || Sep || Apr   || Tools & Algorithms for Construction & Analysis of Systems ||
    24 || VMCAI || Sep || Jan || Verification, Model Checking, Abstract Interpretation ||
     24|| VMCAI || Sep || Jan || [http://www.wikicfp.com/cfp/program?id=2962&f=Verification Verification, Model Checking, & Abstract Interpretation] || 9/4 || 9/11 || [http://conf.researchr.org/home/VMCAI-2016 1/17–19] ||  || || ||
    2525|| PLDI || Nov || Jun || [http://www.sigplan.org/Conferences/PLDI/ Programming Language Design & Implementation] || || 11/20 || [http://conf.researchr.org/home/pldi-2016 6/13–17] || || || ||
    2626