{
 "generated": "2026-08-13T11:47:39.564871+00:00",
 "source": "https://www.conferences-computer.science/snr/",
 "licence": "CC BY-SA 4.0",
 "acronym": "SNR",
 "name": "International Workshop on Symbolic-Numeric methods for Reachability Analysis",
 "count": 4,
 "editions": [
  {
   "slug": "snr",
   "acronym": "SNR",
   "year": "2017",
   "edition": 3,
   "title": "3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis",
   "url": "http://snr2017.pages.ist.ac.at/",
   "page": "https://www.conferences-computer.science/snr/2017/",
   "status": null,
   "abstract_deadline": "2017-01-27",
   "paper_deadline": "2017-02-17",
   "paper_deadline_announced": "2017-02-03",
   "paper_extended_days": 14,
   "notification": "2017-03-10",
   "timezone": null,
   "event_start": "2017-04-22",
   "event_end": null,
   "city": "Uppsala, Sweden",
   "country": "SE",
   "continent": "EU",
   "lat": 59.8586,
   "lon": 17.6389,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "long research papers (15 pages excluding references) / short research papers (6 pages + references) and / work-in-progress papers (6 pages + references)",
   "dblp": "snr"
  },
  {
   "slug": "snr",
   "acronym": "SNR",
   "year": "2019",
   "edition": 5,
   "title": "5th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT",
   "url": "http://snr19.ncl.ac.uk",
   "page": "https://www.conferences-computer.science/snr/2019/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2019-01-26",
   "paper_deadline_announced": "2019-01-26",
   "paper_extended_days": 0,
   "notification": "2019-02-08",
   "timezone": null,
   "event_start": "2019-04-15",
   "event_end": null,
   "city": "Montréal, Québec, Canada",
   "country": "CA",
   "continent": "NA",
   "lat": 45.5019,
   "lon": -73.5674,
   "online": false,
   "publisher": "ACM / IEEE explore",
   "license": "pay",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "original contributions AM / short research papers (3 pages) and / work-in-progress papers (3 pages)",
   "dblp": "snr"
  },
  {
   "slug": "snr",
   "acronym": "SNR",
   "year": "2020",
   "edition": 6,
   "title": "6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT",
   "url": "http://www.cs.cas.cz/snr2020/",
   "page": "https://www.conferences-computer.science/snr/2020/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2020-06-28",
   "paper_deadline_announced": "2020-06-15",
   "paper_extended_days": 13,
   "notification": "2020-07-31",
   "timezone": null,
   "event_start": "2020-08-31",
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "EPTCS",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages EPTCS + references (long) / 6 pages (short, work-in-progress)",
   "dblp": "snr"
  },
  {
   "slug": "snr",
   "acronym": "SNR",
   "year": "2022",
   "edition": 8,
   "title": "8th International Workshop on Symbolic-Numeric methods for Reachability Analysis",
   "url": "https://plv.colorado.edu/snr22/",
   "page": "https://www.conferences-computer.science/snr/2022/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2022-07-22",
   "paper_deadline_announced": "2022-07-22",
   "paper_extended_days": 0,
   "notification": "2022-08-12",
   "timezone": null,
   "event_start": "2022-09-12",
   "event_end": null,
   "city": "Warsaw, Poland",
   "country": "PL",
   "continent": "EU",
   "lat": 52.2297,
   "lon": 21.0122,
   "online": false,
   "publisher": "EPTCS",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages EPTCS + references (long) / 6 pages (short, work-in-progress)",
   "dblp": "snr"
  }
 ]
}