{
 "generated": "2026-08-13T11:47:39.229561+00:00",
 "source": "https://www.conferences-computer.science/avocs/",
 "licence": "CC BY-SA 4.0",
 "acronym": "AVoCS",
 "name": "International Workshop on Automated Verification of Critical Systems",
 "count": 5,
 "editions": [
  {
   "slug": "avocs",
   "acronym": "AVoCS",
   "year": "2015",
   "edition": 15,
   "title": "15th International Workshop on Automated Verification of Critical Systems",
   "url": "https://sites.google.com/site/avocs15/",
   "page": "https://www.conferences-computer.science/avocs/2015/",
   "status": null,
   "abstract_deadline": "2015-06-15",
   "paper_deadline": "2015-06-19",
   "paper_deadline_announced": "2015-06-19",
   "paper_extended_days": 0,
   "notification": "2015-07-14",
   "timezone": null,
   "event_start": "2015-09-01",
   "event_end": "2015-09-04",
   "city": "Edinburgh, UK",
   "country": "GB",
   "continent": "EU",
   "lat": 55.9533,
   "lon": -3.1883,
   "online": false,
   "publisher": "EASST",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages",
   "dblp": null
  },
  {
   "slug": "avocs",
   "acronym": "AVoCS",
   "year": "2016",
   "edition": 16,
   "title": "16th International Workshop on Automated Verification of Critical Systems",
   "url": null,
   "page": "https://www.conferences-computer.science/avocs/2016/",
   "status": "joint",
   "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": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": null,
   "dblp": null
  },
  {
   "slug": "avocs",
   "acronym": "AVoCS",
   "year": "2017",
   "edition": 17,
   "title": "17th International Workshop on Automated Verification of Critical Systems",
   "url": null,
   "page": "https://www.conferences-computer.science/avocs/2017/",
   "status": "joint",
   "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": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": null,
   "dblp": null
  },
  {
   "slug": "avocs",
   "acronym": "AVoCS",
   "year": "2018",
   "edition": 18,
   "title": "18th International Workshop on Automated Verification of Critical Systems",
   "url": "http://avocs18.irisa.fr/",
   "page": "https://www.conferences-computer.science/avocs/2018/",
   "status": null,
   "abstract_deadline": "2018-04-10",
   "paper_deadline": "2018-04-20",
   "paper_deadline_announced": "2018-04-15",
   "paper_extended_days": 5,
   "notification": "2018-05-15",
   "timezone": null,
   "event_start": "2018-07-18",
   "event_end": "2018-07-19",
   "city": "Oxford, England",
   "country": "GB",
   "continent": "EU",
   "lat": 51.752,
   "lon": -1.2577,
   "online": false,
   "publisher": "EASST",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS",
   "dblp": null
  },
  {
   "slug": "avocs",
   "acronym": "AVoCS",
   "year": "2019",
   "edition": 19,
   "title": "19th International Workshop on Automated Verification of Critical Systems",
   "url": "http://avocs19.imag.fr/",
   "page": "https://www.conferences-computer.science/avocs/2019/",
   "status": null,
   "abstract_deadline": "2019-06-09",
   "paper_deadline": "2019-06-16",
   "paper_deadline_announced": "2019-06-02",
   "paper_extended_days": 14,
   "notification": "2019-07-07",
   "timezone": null,
   "event_start": "2019-09-30",
   "event_end": "2019-10-01",
   "city": "Grenoble, France",
   "country": "FR",
   "continent": "EU",
   "lat": 45.1885,
   "lon": 5.7245,
   "online": false,
   "publisher": "EASST",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS",
   "dblp": null
  }
 ]
}