Changes between Version 47 and Version 48 of Conferences


Ignore:
Timestamp:
06/03/16 22:20:31 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v47 v48  
    66|| CAV || [http://i-cav.org Int'l Conference on Computer Aided Verification] || 01/24 || **01/29** || [http://i-cav.org/2016/ 07/20–23] || || || ||
    77|| ISSTA || [http://dl.acm.org/event.cfm?id=RE222 Int'l Symposium on Software Testing & Analysis] ||  || **01/29** || [https://issta2016.cispa.saarland 07/18–20] || || || ||
    8 || ICS || [http://www.ics-conference.org ACM Int'l Conf. Supercomputing] ||  01/15 || **01/30** || [http://ics16.bilkent.edu.tr 06/01--03] || || || ||
     8|| ICS || [http://www.ics-conference.org ACM Int'l Conf. Supercomputing] ||  01/15 || **01/30** || [http://ics16.bilkent.edu.tr 06/01–03] || || || ||
    99|| !EuroPar || [http://www.europar.org Int'l European Conf. on Parallel & Distributed Computing] || 02/09 || **02/16** || [https://europar2016.inria.fr/conference/call-for-papers/ 08/22–26] || || || ||
    1010|| NFM || [http://www.wikicfp.com/cfp/program?id=2200&f=NASA%20Formal%20Methods NASA Formal Methods] || || **02/19** || [http://crisys.cs.umn.edu/nfm2016/ 06/07–09] || || || ||