Changes between Version 50 and Version 51 of Conferences


Ignore:
Timestamp:
07/18/16 16:41:00 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v50 v51  
    2323|| PPoPP || [http://www.sigplan.org/Conferences/PPOPP/ ACM SIGPLAN Symp. Principles & Practice of Parallel Programming] || 09/04 || **09/11** || [http://conf.researchr.org/home/ppopp-2016 03/12–16] || || **08/01** || [http://conf.researchr.org/home/PPoPP-2017 03/04–08] ||
    2424|| VMCAI || [http://www.wikicfp.com/cfp/program?id=2962&f=Verification Verification, Model Checking, & Abstract Interpretation] || 09/04 || **09/11** || [http://conf.researchr.org/home/VMCAI-2016 01/17–19] || 09/18  || **09/21**  || [http://conf.researchr.org/home/VMCAI-2017 01/15–17] ||
    25 || TACAS || [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/09 || **10/16** || [http://www.etaps.org/2016/tacas 04/02–08] || || || [http://www.etaps.org/index.php/2017/tacas 04/22–29] ||
     25|| TACAS || [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/09 || **10/16** || [http://www.etaps.org/2016/tacas 04/02–08] || 10/14 || **10/21** || [http://www.etaps.org/index.php/2017/tacas 04/22–29] ||
    2626|| PLDI || [http://www.sigplan.org/Conferences/PLDI/ Programming Language Design & Implementation] || || **11/20** || [http://conf.researchr.org/home/pldi-2016 06/13–17] || || || ||
    2727