Changes between Version 18 and Version 19 of Conferences


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

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v18 v19  
    22||||||||=  Conference Pattern =||||||= 2016 =||||||= 2017 =||
    33||= Name =||= deadline =||=  conf =||= subject/title =||= A =||= P =||= C =||= A =||= P =||= C =||
    4 || SPIN || Jan || Apr  || model checking || || 1/18 || 4/7–8 || || || 7/? ||
     4|| SPIN || Jan || Apr  || model checking || || 1/18 || 4/7–8 || || || [http://conf.researchr.org/series/spin 7/16–17] ||
    55|| CAV || Jan || Jul || Computer Aided Verification ||
    66|| CADE || Jan || Jun || Conf. on Automated Deduction || 1/18 || 1/25 || 6/27–30 ||    ||    ||  8/?   ||