Changes between Version 17 and Version 18 of Conferences


Ignore:
Timestamp:
06/01/16 07:05:28 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v17 v18  
    44|| SPIN || Jan || Apr  || model checking || || 1/18 || 4/7–8 || || || 7/? ||
    55|| CAV || Jan || Jul || Computer Aided Verification ||
     6|| CADE || Jan || Jun || Conf. on Automated Deduction || 1/18 || 1/25 || 6/27–30 ||    ||    ||  8/?   ||
    67|| ISSTA || Jan || Jul || software testing & analysis ||
    78|| FM || !Jan/May || !Jun/Nov || Formal Methods ||