Changes between Version 42 and Version 43 of Conferences


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

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v42 v43  
    1313|| 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] || || || ||
    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] || || || ||
    15 || ISOLA || Apr || Oct  || Applications of formal methods, verification, and validation ||
     15|| 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] || || || ||
    1616|| 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] || || || ||
    1717|| EuroMPI || May || Sep || The MPI Users and Developers Conf.  ||  || 05/01 || [http://www.eurompi2016.ed.ac.uk 09/25–28] || || || ||