{
 "generated": "2026-08-13T08:58:19.470701+00:00",
 "source": "https://www.conferences-computer.science/ssv/",
 "licence": "CC BY-SA 4.0",
 "acronym": "SSV",
 "name": "Conference on Systems Software Verification",
 "count": 1,
 "editions": [
  {
   "slug": "ssv",
   "acronym": "SSV",
   "year": "2015",
   "edition": 9,
   "title": "9th Conference on Systems Software Verification",
   "url": "http://www.ssv-conference.org/",
   "page": "https://www.conferences-computer.science/ssv/2015/",
   "status": null,
   "abstract_deadline": "2015-09-21",
   "paper_deadline": "2015-09-28",
   "paper_deadline_announced": "2015-09-28",
   "paper_extended_days": 0,
   "notification": "2015-10-30",
   "timezone": null,
   "event_start": "2015-12-07",
   "event_end": "2015-12-08",
   "city": "Gold Coast, Australia",
   "country": "AU",
   "continent": "OC",
   "lat": -28.0167,
   "lon": 153.4,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages EPTCS + appendix",
   "dblp": null
  }
 ]
}