Changes between Version 43 and Version 44 of Conferences


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

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v43 v44  
    44|| 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] ||
    55|| 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] || || || ||
    6 || CADE || Jan || Jun || [http://www.cadeinc.org Conf. on Automated Deduction] || 01/18 || 01/25 || [http://www.ijcar-2016.info 06/27–07/02] ||    ||    ||  08/?   ||
     6|| CADE || Jan || Jun || [http://www.cadeinc.org Conf. on Automated Deduction] || 01/18 || 01/25 || [http://www.ijcar-2016.info 06/27–02] ||    ||    ||  08/?   ||
    77|| 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] || || || ||
    88|| 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] || || || ||
     9|| 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] || || || ||
    910|| !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] || || || ||
    1011|| NSV || Feb-May || Apr-Jul || Int'l workshop on Numerical Software Verification || || 05/29 || [http://nsv2016.pages.ist.ac.at 07/17–18] || || || ||
    … …  
    1718|| EuroMPI || May || Sep || The MPI Users and Developers Conf.  ||  || 05/01 || [http://www.eurompi2016.ed.ac.uk 09/25–28] || || || ||
    1819|| SYNASC || Jun || Sep || [http://synasc.ro Symbolic & Numeric Algorithms for Scientific Computing] || 06/10 || 06/22 || [http://synasc.ro/2016/ 09/24–27] || || || ||
    19 || 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–01/23] || 07/01 || 07/06  || [http://conf.researchr.org/home/POPL-2017 01/18–20] ||
     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] ||
    2021|| 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] || || || ||
    2122|| 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] ||