Changes between Version 32 and Version 33 of Conferences


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

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v32 v33  
    2121|| ICSE || Sep || May || Intl. Conference on Software Engineering ||
    2222|| PPoPP || Sep || Feb || Principles & Practices of Parallel Programming || || || 3/12–16 || || 8/1 || 3/4–8 ||
    23 || TACAS || Sep || Apr   || Tools & Algorithms for Construction & Analysis of Systems ||
     23|| TACAS || Sep || Apr   || [http://www.wikicfp.com/cfp/program?id=2811&s=TACAS&f=Tools%20and%20Algorithms%20for%20Construction%20and%20Analysis%20of%20Systems Tools & Algorithms for Construction & Analysis of Systems] || 10/9 || 10/16 || [http://www.etaps.org/2016/tacas 4/2–8] || || || [http://www.etaps.org/index.php/2017/tacas 4/22–29] ||
    2424|| 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] || || || ||