Changes between Version 46 and Version 47 of Conferences


Ignore:
Timestamp:
06/03/16 22:19:35 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v46 v47  
    11
    2 ||||||||=  Conference Pattern =||||||= 2016 =||||||= 2017 =||
    3 ||= Name =||= Deadline =||=  Conf =||= Full Name =||= A =||= **P** =||= C =||= A =||= **P** =||= C =||
    4 || SPIN || Jan || Apr  || [http://spinroot.com/spin/Workshops/ Int'l SPIN Symposium on Model Checking Software] || || **01/18** || [http://www.spin2016.info 04/07–08] || || || [http://conf.researchr.org/series/spin 07/16–17] ||
    5 || CADE || Jan || Jun || [http://www.cadeinc.org Conf. on Automated Deduction] || 01/18 || **01/25** || [http://www.ijcar-2016.info 06/27–02] ||    ||    ||  08/?   ||
    6 || CAV || Jan || Jul || [http://i-cav.org Int'l Conference on Computer Aided Verification] || 01/24 || **01/29** || [http://i-cav.org/2016/ 07/20–23] || || || ||
    7 || ISSTA || Jan || Jul || [http://dl.acm.org/event.cfm?id=RE222 Int'l Symposium on Software Testing & Analysis] ||  || **01/29** || [https://issta2016.cispa.saarland 07/18–20] || || || ||
    8 || ICS || Jan || Jun || [http://www.ics-conference.org ACM Int'l Conf. Supercomputing] ||  01/15 || **01/30** || [http://ics16.bilkent.edu.tr 06/01--03] || || || ||
    9 || !EuroPar || Feb ||  Aug || [http://www.europar.org Int'l European Conf. on Parallel & Distributed Computing] || 02/09 || **02/16** || [https://europar2016.inria.fr/conference/call-for-papers/ 08/22–26] || || || ||
    10 || NFM || Feb || Jun || [http://www.wikicfp.com/cfp/program?id=2200&f=NASA%20Formal%20Methods NASA Formal Methods] || || **02/19** || [http://crisys.cs.umn.edu/nfm2016/ 06/07–09] || || || ||
    11 || FSE || Mar ||  Nov || [http://www.wikicfp.com/cfp/program?id=1093&amp%3Bf=Foundations ACM/SIGSOFT Int'l Symp. Foundations of Software Engineering] || || **03/11** || [http://www.cs.ucdavis.edu/fse2016/ 11/13–18] || || || ||
    12 || PACT || Mar || Sep || [http://www.wikicfp.com/cfp/program?id=2291&f=International%20Conference%20on%20Parallel%20Architectures%20and%20Compilation%20Techniques Parallel Architectures and Compilation Techniques] || 03/14 || **03/21** || [http://pactconf.org 09/11–15] || || || ||
    13 || SCxx || Apr || Nov || [http://www.supercomp.org Int'l Conf. HPC, Networking, Storage & Analysis] || 03/27 || **04/03** || [http://sc16.supercomputing.org 11/13–18] || || || ||
    14 || ASE || Apr || Sep || [http://ase-conferences.org IEEE/ACM Int'l Conf. Automated Software Engineering] || 04/22 || **04/29** || [http://www.ase2016.org 09/03–07] || || || ||
    15 || EuroMPI || May || Sep || The MPI Users and Developers Conf.  ||  || **05/01** || [http://www.eurompi2016.ed.ac.uk 09/25–28] || || || ||
    16 || ISOLA || Apr || Oct  || [http://www.isola-conference.org Int'l Conf. Leveraging Apps. Formal Methods, Verification & Validation] || 04/25 || **05/02** || [http://www.isola-conference.org/isola2016/ 10/10–14] || || || ||
    17 || NSV || Feb-May || Apr-Jul || Int'l workshop on Numerical Software Verification || || **05/29** || [http://nsv2016.pages.ist.ac.at 07/17–18] || || || ||
    18 || FM || !Jan/May || !Jun/Nov || [http://www.fmeurope.org/?page_id=221 Int'l Symposium on Formal Methods] || 05/16 || **05/30** || [http://fm2016.cs.ucy.ac.cy 11/07–11] || || || ||
    19 || SYNASC || Jun || Sep || [http://synasc.ro Symbolic & Numeric Algorithms for Scientific Computing] || 06/10 || **06/22** || [http://synasc.ro/2016/ 09/24–27] || || || ||
    20 || POPL || Jul  || Jan || [http://www.sigplan.org/Conferences/POPL/ Principles of Programming Languages] || 07/03 || **07/10** || [http://conf.researchr.org/home/POPL-2016 01/20–23] || 07/01 || **07/06**  || [http://conf.researchr.org/home/POPL-2017 01/18–20] ||
    21 || SC^2 || Jul || Sep || [http://www.sc-square.org Int'l Workshop on Satisfiability Checking & Scientific Computing] || || **07/15** || [http://www.sc-square.org/CSA/workshop1.html 09/24] || || || ||
    22 || 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] ||
    23 || 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] ||
    24 || VMCAI || Sep || Jan || [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] ||  || || ||
    25 || 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] ||
    26 || PLDI || Nov || Jun || [http://www.sigplan.org/Conferences/PLDI/ Programming Language Design & Implementation] || || **11/20** || [http://conf.researchr.org/home/pldi-2016 06/13–17] || || || ||
    27 
     2||||=  Conference =||||||= 2016 =||||||= 2017 =||
     3||= Name =||= Full Name =||= A =||= **P** =||= C =||= A =||= **P** =||= C =||
     4|| SPIN || [http://spinroot.com/spin/Workshops/ Int'l SPIN Symposium on Model Checking Software] || || **01/18** || [http://www.spin2016.info 04/07–08] || || || [http://conf.researchr.org/series/spin 07/16–17] ||
     5|| CADE || [http://www.cadeinc.org Conf. on Automated Deduction] || 01/18 || **01/25** || [http://www.ijcar-2016.info 06/27–02] ||    ||    ||  08/?   ||
     6|| CAV || [http://i-cav.org Int'l Conference on Computer Aided Verification] || 01/24 || **01/29** || [http://i-cav.org/2016/ 07/20–23] || || || ||
     7|| ISSTA || [http://dl.acm.org/event.cfm?id=RE222 Int'l Symposium on Software Testing & Analysis] ||  || **01/29** || [https://issta2016.cispa.saarland 07/18–20] || || || ||
     8|| ICS || [http://www.ics-conference.org ACM Int'l Conf. Supercomputing] ||  01/15 || **01/30** || [http://ics16.bilkent.edu.tr 06/01--03] || || || ||
     9|| !EuroPar || [http://www.europar.org Int'l European Conf. on Parallel & Distributed Computing] || 02/09 || **02/16** || [https://europar2016.inria.fr/conference/call-for-papers/ 08/22–26] || || || ||
     10|| NFM || [http://www.wikicfp.com/cfp/program?id=2200&f=NASA%20Formal%20Methods NASA Formal Methods] || || **02/19** || [http://crisys.cs.umn.edu/nfm2016/ 06/07–09] || || || ||
     11|| FSE || [http://www.wikicfp.com/cfp/program?id=1093&amp%3Bf=Foundations ACM/SIGSOFT Int'l Symp. Foundations of Software Engineering] || || **03/11** || [http://www.cs.ucdavis.edu/fse2016/ 11/13–18] || || || ||
     12|| PACT || [http://www.wikicfp.com/cfp/program?id=2291&f=International%20Conference%20on%20Parallel%20Architectures%20and%20Compilation%20Techniques Parallel Architectures and Compilation Techniques] || 03/14 || **03/21** || [http://pactconf.org 09/11–15] || || || ||
     13|| SCxx || [http://www.supercomp.org Int'l Conf. HPC, Networking, Storage & Analysis] || 03/27 || **04/03** || [http://sc16.supercomputing.org 11/13–18] || || || ||
     14|| ASE || [http://ase-conferences.org IEEE/ACM Int'l Conf. Automated Software Engineering] || 04/22 || **04/29** || [http://www.ase2016.org 09/03–07] || || || ||
     15|| EuroMPI || The MPI Users and Developers Conf.  ||  || **05/01** || [http://www.eurompi2016.ed.ac.uk 09/25–28] || || || ||
     16|| ISOLA || [http://www.isola-conference.org Int'l Conf. Leveraging Apps. Formal Methods, Verification & Validation] || 04/25 || **05/02** || [http://www.isola-conference.org/isola2016/ 10/10–14] || || || ||
     17|| NSV || Int'l workshop on Numerical Software Verification || || **05/29** || [http://nsv2016.pages.ist.ac.at 07/17–18] || || || ||
     18|| FM   || [http://www.fmeurope.org/?page_id=221 Int'l Symposium on Formal Methods] || 05/16 || **05/30** || [http://fm2016.cs.ucy.ac.cy 11/07–11] || || || ||
     19|| SYNASC || [http://synasc.ro Symbolic & Numeric Algorithms for Scientific Computing] || 06/10 || **06/22** || [http://synasc.ro/2016/ 09/24–27] || || || ||
     20|| POPL || [http://www.sigplan.org/Conferences/POPL/ Principles of Programming Languages] || 07/03 || **07/10** || [http://conf.researchr.org/home/POPL-2016 01/20–23] || 07/01 || **07/06**  || [http://conf.researchr.org/home/POPL-2017 01/18–20] ||
     21|| SC^2 || [http://www.sc-square.org Int'l Workshop on Satisfiability Checking & Scientific Computing] || || **07/15** || [http://www.sc-square.org/CSA/workshop1.html 09/24] || || || ||
     22|| ICSE || [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] ||
     23|| 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] ||
     24|| 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] ||  || || ||
     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] ||
     26|| PLDI || [http://www.sigplan.org/Conferences/PLDI/ Programming Language Design & Implementation] || || **11/20** || [http://conf.researchr.org/home/pldi-2016 06/13–17] || || || ||
    2827
    2928A = abstract deadline,