{
 "generated": "2026-08-14T14:59:37.815776+00:00",
 "source": "https://www.conferences-computer.science/nsv/",
 "licence": "CC BY-SA 4.0",
 "acronym": "NSV",
 "name": "International Workshop on Numerical Software Verification",
 "count": 6,
 "editions": [
  {
   "slug": "nsv",
   "acronym": "NSV",
   "year": "2017",
   "edition": 10,
   "title": "10th International Workshop on Numerical Software Verification",
   "url": "http://www.cs.ox.ac.uk/conferences/NSV17",
   "page": "https://www.conferences-computer.science/nsv/2017/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2017-05-01",
   "paper_deadline_announced": "2017-04-22",
   "paper_extended_days": 9,
   "notification": "2017-05-20",
   "timezone": null,
   "event_start": "2017-07-22",
   "event_end": "2017-07-23",
   "city": "Heidelberg, Germany",
   "country": "DE",
   "continent": "EU",
   "lat": 49.3988,
   "lon": 8.6724,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (regular) / 6 pages (short / tools / benchmark / case studies)",
   "dblp": "nsv"
  },
  {
   "slug": "nsv",
   "acronym": "NSV",
   "year": "2018",
   "edition": 11,
   "title": "11th International Workshop on Numerical Software Verification",
   "url": "https://nsv-2018.github.io/nsv2018/",
   "page": "https://www.conferences-computer.science/nsv/2018/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2018-05-11",
   "paper_deadline_announced": "2018-04-15",
   "paper_extended_days": 26,
   "notification": "2018-05-15",
   "timezone": null,
   "event_start": "2018-07-19",
   "event_end": null,
   "city": "Oxford, England",
   "country": "GB",
   "continent": "EU",
   "lat": 51.752,
   "lon": -1.2577,
   "online": false,
   "publisher": "Elsevier ENTCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages ENTCS (regular) / 6 pages (short / tools / benchmark / case studies)",
   "dblp": "nsv"
  },
  {
   "slug": "nsv",
   "acronym": "NSV",
   "year": "2019",
   "edition": 12,
   "title": "12th International Workshop on Numerical Software Verification",
   "url": "http://nsv19.mpi-sws.org/",
   "page": "https://www.conferences-computer.science/nsv/2019/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2019-04-24",
   "paper_deadline_announced": "2019-04-24",
   "paper_extended_days": 0,
   "notification": "2019-05-22",
   "timezone": null,
   "event_start": "2019-07-13",
   "event_end": "2019-07-14",
   "city": "New York, NY, USA",
   "country": "US",
   "continent": "NA",
   "lat": 40.7128,
   "lon": -74.006,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + references (regular) / 6 pages (short / tools / benchmark / case studies)",
   "dblp": "nsv"
  },
  {
   "slug": "nsv",
   "acronym": "NSV",
   "year": "2020",
   "edition": 13,
   "title": "13th International Workshop on Numerical Software Verification",
   "url": "https://nsv2020.github.io/",
   "page": "https://www.conferences-computer.science/nsv/2020/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2020-04-20",
   "paper_deadline_announced": "2020-04-20",
   "paper_extended_days": 0,
   "notification": "2020-05-23",
   "timezone": null,
   "event_start": "2020-07-19",
   "event_end": null,
   "city": "Los Angeles, CA, USA",
   "country": "US",
   "continent": "NA",
   "lat": 34.0522,
   "lon": -118.2437,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": 57.0,
   "format": "15 pages LNCS + references (regular) / 6 pages (short / tools / benchmark / case studies)",
   "dblp": "nsv"
  },
  {
   "slug": "nsv",
   "acronym": "NSV",
   "year": "2021",
   "edition": null,
   "title": "International Workshop on Numerical Software Verification",
   "url": null,
   "page": "https://www.conferences-computer.science/nsv/2021/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": null,
   "paper_deadline_announced": null,
   "paper_extended_days": null,
   "notification": null,
   "timezone": null,
   "event_start": null,
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": false,
   "publisher": null,
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": 3,
   "accepted": 3,
   "acceptance_rate": 100.0,
   "format": null,
   "dblp": "nsv"
  },
  {
   "slug": "nsv",
   "acronym": "NSV",
   "year": "2022",
   "edition": 15,
   "title": "15th International Workshop on Numerical Software Verification",
   "url": "https://nsv22.github.io/",
   "page": "https://www.conferences-computer.science/nsv/2022/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2022-05-31",
   "paper_deadline_announced": "2022-05-10",
   "paper_extended_days": 21,
   "notification": "2022-06-15",
   "timezone": null,
   "event_start": "2022-08-11",
   "event_end": null,
   "city": "Haifa, Israel",
   "country": "IL",
   "continent": "AS",
   "lat": 32.794,
   "lon": 34.9896,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + references (regular) / 6 pages (short / tools / benchmark / case studies)",
   "dblp": "nsv"
  }
 ]
}