Changes between Version 26 and Version 27 of Conferences


Ignore:
Timestamp:
06/01/16 22:06:18 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v26 v27  
    11
    22||||||||=  Conference Pattern =||||||= 2016 =||||||= 2017 =||
    3 ||= Name =||= deadline =||=  conf =||= subject/title =||= A =||= P =||= C =||= A =||= P =||= C =||
     3||= Name =||= Deadline =||=  Conf =||= Full Name =||= A =||= P =||= C =||= A =||= P =||= C =||
    44|| 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] ||
    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] || || || ||