Changes between Version 19 and Version 20 of Conferences


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

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v19 v20  
    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 || || || [http://conf.researchr.org/series/spin 7/16–17] ||
    5 || CAV || Jan || Jul || Computer Aided Verification ||
    6 || CADE || Jan || Jun || Conf. on Automated Deduction || 1/18 || 1/25 || 6/27–30 ||    ||    ||  8/?   ||
     4|| SPIN || Jan || Apr  || [http://spinroot.com/spin/Workshops/ Int'l SPIN Symposium on Model Checking Software] || || 1/18 || [http://www.spin2016.info 4/7–8] || || || [http://conf.researchr.org/series/spin 7/16–17] ||
     5|| 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] || || || ||
     6|| 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/?   ||
    77|| ISSTA || Jan || Jul || software testing & analysis ||
    88|| FM || !Jan/May || !Jun/Nov || Formal Methods ||