Changes between Version 22 and Version 23 of Conferences


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

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v22 v23  
    77|| ISSTA || Jan || Jul || [http://dl.acm.org/event.cfm?id=RE222 Int'l Symposium on Software Testing & Analysis] ||  || 1/29 || [https://issta2016.cispa.saarland 7/18–20] || || || ||
    88|| FM || !Jan/May || !Jun/Nov || [http://www.fmeurope.org/?page_id=221 Int'l Symposium on Formal Methods] || 5/16 || 5/30 || [http://fm2016.cs.ucy.ac.cy 11/7–11] || || || ||
    9 || !EuroPar || Feb ||  Aug || European Parallel Computing ||
    10 || NSV || Feb-May || Apr-Jul || Int'l workshop on Numerical Software Verification ||
     9|| !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] || || || ||
     10|| NSV || Feb-May || Apr-Jul || Int'l workshop on Numerical Software Verification || || 5/29 || [http://nsv2016.pages.ist.ac.at 7/17–18] || || || ||
    1111|| NFM || Feb || Jun || NASA Formal Methods ||
    1212|| FSE || Mar ||  Nov || Foundations of Software Engineering ||