Changes between Version 27 and Version 28 of Conferences


Ignore:
Timestamp:
06/02/16 00:11:29 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v27 v28  
    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 ||
     13|| PACT || Mar || Sep || Parallel Architectures and Compilation Techniques || 03/14 || 03/21 || [http://pactconf.org 09/11-15] ||
    1414|| SCxx || Apr || Nov || Supercomputing: HPC ||
    1515|| ISOLA || Apr || Oct  || Applications of formal methods, verification, and validation ||