Changes between Version 29 and Version 30 of Conferences


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

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v29 v30  
    1111|| NFM || Feb || Jun || [http://www.wikicfp.com/cfp/program?id=2200&f=NASA%20Formal%20Methods NASA Formal Methods] || || 2/19 || [http://crisys.cs.umn.edu/nfm2016/ 6/7–9] || || || ||
    1212|| FSE || Mar ||  Nov || [http://www.wikicfp.com/cfp/program?id=1093&amp%3Bf=Foundations ACM/SIGSOFT Int'l Symp. Foundations of Software Engineering] || || 3/11 || [http://www.cs.ucdavis.edu/fse2016/ 11/13–18] || || || ||
    13 || PACT || Mar || Sep || Parallel Architectures and Compilation Techniques || 03/14 || 03/21 || [http://pactconf.org 09/11-15] ||
     13|| 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] || 3/27 || 4/3 || [http://sc16.supercomputing.org 11/13–18] || || || ||
    1515|| ISOLA || Apr || Oct  || Applications of formal methods, verification, and validation ||