Changes between Version 20 and Version 21 of Conferences


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

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v20 v21  
    55|| CAV || Jan || Jul || [http://i-cav.org Int'l Conference on Computer Aided Verification] || 1/24 || 1/29 || [http://i-cav.org/2016/ 7/20–23] || || || ||
    66|| CADE || Jan || Jun || [http://www.cadeinc.org Conf. on Automated Deduction] || 1/18 || 1/25 || [http://www.ijcar-2016.info 6/27–7/2] ||    ||    ||  8/?   ||
    7 || ISSTA || Jan || Jul || software testing & analysis ||
     7|| 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 || Formal Methods ||
    99|| !EuroPar || Feb ||  Aug || European Parallel Computing ||