{
 "generated": "2026-08-14T11:19:06.793887+00:00",
 "source": "https://www.conferences-computer.science/arch/",
 "licence": "CC BY-SA 4.0",
 "acronym": "ARCH",
 "name": "International Workshop on Applied Verification for Continuous and Hybrid Systems",
 "count": 8,
 "editions": [
  {
   "slug": "arch",
   "acronym": "ARCH",
   "year": "2014",
   "edition": 1,
   "title": "1st International Workshop on Applied Verification for Continuous and Hybrid Systems",
   "url": "http://cps-vo.org/group/ARCH",
   "page": "https://www.conferences-computer.science/arch/2014/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2014-02-19",
   "paper_deadline_announced": "2014-02-19",
   "paper_extended_days": 0,
   "notification": "2014-03-05",
   "timezone": null,
   "event_start": "2014-04-14",
   "event_end": null,
   "city": "Berlin, Germany",
   "country": "DE",
   "continent": "EU",
   "lat": 52.52,
   "lon": 13.405,
   "online": false,
   "publisher": "Web page?",
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "3-6 pages (Benchmark papers, tool presentations, experience reports)",
   "dblp": "arch"
  },
  {
   "slug": "arch",
   "acronym": "ARCH",
   "year": "2015",
   "edition": 2,
   "title": "2nd International Workshop on Applied Verification for Continuous and Hybrid Systems",
   "url": "http://cps-vo.org/group/ARCH/",
   "page": "https://www.conferences-computer.science/arch/2015/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2015-03-14",
   "paper_deadline_announced": "2015-03-14",
   "paper_extended_days": 0,
   "notification": "2015-03-24",
   "timezone": null,
   "event_start": "2015-04-13",
   "event_end": null,
   "city": "Seattle, WA, USA",
   "country": "US",
   "continent": "NA",
   "lat": 47.6062,
   "lon": -122.3321,
   "online": false,
   "publisher": "Web page?",
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "3-8 pages (Benchmark papers, tool presentations, tool executions, experience reports)",
   "dblp": "arch"
  },
  {
   "slug": "arch",
   "acronym": "ARCH",
   "year": "2016",
   "edition": 3,
   "title": "3rd International Workshop on Applied Verification for Continuous and Hybrid Systems",
   "url": "http://cps-vo.org/group/ARCH",
   "page": "https://www.conferences-computer.science/arch/2016/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2016-02-15",
   "paper_deadline_announced": "2016-02-15",
   "paper_extended_days": 0,
   "notification": "2016-03-07",
   "timezone": null,
   "event_start": "2016-04-11",
   "event_end": null,
   "city": "Vienna, Austria",
   "country": "AT",
   "continent": "EU",
   "lat": 48.2082,
   "lon": 16.3738,
   "online": false,
   "publisher": "EasyChair EPiC series",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "3-8 pages (Benchmark papers, tool presentations, tool executions, experience reports)",
   "dblp": "arch"
  },
  {
   "slug": "arch",
   "acronym": "ARCH",
   "year": "2017",
   "edition": 4,
   "title": "4th International Workshop on Applied Verification for Continuous and Hybrid Systems",
   "url": "http://cps-vo.org/group/ARCH",
   "page": "https://www.conferences-computer.science/arch/2017/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2017-03-06",
   "paper_deadline_announced": "2017-02-15",
   "paper_extended_days": 19,
   "notification": "2017-03-15",
   "timezone": null,
   "event_start": "2017-04-17",
   "event_end": null,
   "city": "Pittsburgh, USA",
   "country": "US",
   "continent": "NA",
   "lat": 40.4406,
   "lon": -79.9959,
   "online": false,
   "publisher": "EasyChair EPiC series",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "3-8 pages (Benchmark papers, tool presentations, tool executions, experience reports)",
   "dblp": "arch"
  },
  {
   "slug": "arch",
   "acronym": "ARCH",
   "year": "2019",
   "edition": 6,
   "title": "6th International Workshop on Applied Verification for Continuous and Hybrid Systems",
   "url": "http://cps-vo.org/group/ARCH",
   "page": "https://www.conferences-computer.science/arch/2019/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2019-02-24",
   "paper_deadline_announced": "2019-02-24",
   "paper_extended_days": 0,
   "notification": "2019-03-17",
   "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": "EasyChair EPiC series",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "3-8 pages (Benchmark papers, tool presentations, tool executions, experience reports)",
   "dblp": "arch"
  },
  {
   "slug": "arch",
   "acronym": "ARCH",
   "year": "2020",
   "edition": 7,
   "title": "7th International Workshop on Applied Verification for Continuous and Hybrid Systems",
   "url": "http://cps-vo.org/group/ARCH",
   "page": "https://www.conferences-computer.science/arch/2020/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2020-05-18",
   "paper_deadline_announced": "2020-05-18",
   "paper_extended_days": 0,
   "notification": "2020-06-08",
   "timezone": null,
   "event_start": "2020-07-12",
   "event_end": null,
   "city": "Berlin, Germany",
   "country": "DE",
   "continent": "EU",
   "lat": 52.52,
   "lon": 13.405,
   "online": false,
   "publisher": "EasyChair EPiC series",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": 7,
   "accepted": 6,
   "acceptance_rate": 85.7,
   "format": "3-8 pages (Benchmark papers, tool presentations, tool executions, experience reports)",
   "dblp": "arch"
  },
  {
   "slug": "arch",
   "acronym": "ARCH",
   "year": "2021",
   "edition": 8,
   "title": "8th International Workshop on Applied Verification for Continuous and Hybrid Systems",
   "url": "https://cps-vo.org/group/ARCH/submissionInstructions",
   "page": "https://www.conferences-computer.science/arch/2021/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2021-04-30",
   "paper_deadline_announced": "2021-04-30",
   "paper_extended_days": 0,
   "notification": "2021-05-31",
   "timezone": null,
   "event_start": "2021-07-09",
   "event_end": null,
   "city": "Brussels, Belgium",
   "country": "BE",
   "continent": "EU",
   "lat": 50.8476,
   "lon": 4.3572,
   "online": false,
   "publisher": "EasyChair EPiC series",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": 4,
   "accepted": 4,
   "acceptance_rate": 100.0,
   "format": "3-8 pages (Benchmark papers, tool presentations, tool executions, experience reports)",
   "dblp": "arch"
  },
  {
   "slug": "arch",
   "acronym": "ARCH",
   "year": "2026",
   "edition": 13,
   "title": "13th International Workshop on Applied Verification for Continuous and Hybrid Systems",
   "url": "https://cps-vo.org/group/ARCH/Call-for-Submissions",
   "page": "https://www.conferences-computer.science/arch/2026/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2026-04-01",
   "paper_deadline_announced": "2026-04-01",
   "paper_extended_days": 0,
   "notification": "2026-04-29",
   "timezone": null,
   "event_start": "2026-06-03",
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "EasyChair EPiC series",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "3-8 pages (Benchmark papers, tool presentations, tool executions, experience reports)",
   "dblp": "arch"
  }
 ]
}