Changes between Version 38 and Version 39 of Conferences


Ignore:
Timestamp:
06/02/16 20:45:16 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v38 v39  
    1919|| POPL || Jul  || Jan || Principles of Programming Languages, 12 ACM pages ||
    2020|| SC^2 || Jul || Sep || Satisfiability checking & scientific computing || || 07/15 || 09/24 ||
    21 || ICSE || Sep || May || [http://www.icse-conferences.org Intl. Conference on Software Engineering] || || || [http://2016.icse.cs.txstate.edu 05/14–22] || || 08/26 || [http://icse2017.gatech.edu 05/20–28] ||
     21|| ICSE || Sep || May || [http://www.icse-conferences.org Intl. Conference on Software Engineering] || || 08/28 || [http://2016.icse.cs.txstate.edu 05/14–22] || || 08/26 || [http://icse2017.gatech.edu 05/20–28] ||
    2222|| PPoPP || Sep || Feb || [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] ||
    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/09 || 10/16 || [http://www.etaps.org/2016/tacas 04/02–08] || || || [http://www.etaps.org/index.php/2017/tacas 04/22–29] ||