Changes between Version 33 and Version 34 of Conferences


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

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v33 v34  
    2020|| SC^2 || Jul || Sep || Satisfiability checking & scientific computing || || 7/15 || 9/24 ||
    2121|| ICSE || Sep || May || Intl. Conference on Software Engineering ||
    22 || PPoPP || Sep || Feb || Principles & Practices of Parallel Programming || || || 3/12–16 || || 8/1 || 3/4–8 ||
     22|| PPoPP || Sep || Feb || [http://www.sigplan.org/Conferences/PPOPP/ Principles & Practice of Parallel Programming] ||  || || [http://conf.researchr.org/home/ppopp-2016 3/12–16] || || 8/1 || [http://conf.researchr.org/home/PPoPP-2017 3/4–8] ||
    2323|| 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] ||  || || ||