Changes between Version 23 and Version 24 of Conferences


Ignore:
Timestamp:
06/01/16 21:54:24 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v23 v24  
    99|| !EuroPar || Feb ||  Aug || [http://www.europar.org Int'l European Conf. on Parallel & Distributed Computing] || 2/9 || 2/16 || [https://europar2016.inria.fr/conference/call-for-papers/ 8/22–26] || || || ||
    1010|| NSV || Feb-May || Apr-Jul || Int'l workshop on Numerical Software Verification || || 5/29 || [http://nsv2016.pages.ist.ac.at 7/17–18] || || || ||
    11 || NFM || Feb || Jun || NASA Formal Methods ||
     11|| 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 || Foundations of Software Engineering ||
    1313|| PACT || Mar || Sep || Parallel Architectures and Compilation Techniques ||