Changes between Version 41 and Version 42 of Conferences


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

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v41 v42  
    1414|| 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] || || || ||
    1515|| ISOLA || Apr || Oct  || Applications of formal methods, verification, and validation ||
    16 || ASE || Apr || Sep || Automated Software Engineering ||
    17 || EuroMPI || May || Sep || MPI ||
    18 || SYNASC || Jun || Sep || Symbolic & Numeric algorithms for Scientific Computing || 06/10 || 06/22 || 09/24–27 ||
     16|| 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] || || || ||
     17|| EuroMPI || May || Sep || The MPI Users and Developers Conf.  ||  || 05/01 || [http://www.eurompi2016.ed.ac.uk 09/25–28] || || || ||
     18|| SYNASC || Jun || Sep || [http://synasc.ro Symbolic & Numeric Algorithms for Scientific Computing] || 06/10 || 06/22 || [http://synasc.ro/2016/ 09/24–27] || || || ||
    1919|| 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] ||
    2020|| 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] || || || ||