{
 "generated": "2026-08-13T11:47:39.607370+00:00",
 "source": "https://www.conferences-computer.science/vpt/",
 "licence": "CC BY-SA 4.0",
 "acronym": "VPT",
 "name": "International Workshop on Verification and Program Transformation",
 "count": 4,
 "editions": [
  {
   "slug": "vpt",
   "acronym": "VPT",
   "year": "2017",
   "edition": 5,
   "title": "Fifth International Workshop on Verification and Program Transformation",
   "url": "http://refal.botik.ru/vpt/vpt2017",
   "page": "https://www.conferences-computer.science/vpt/2017/",
   "status": null,
   "abstract_deadline": "2017-02-10",
   "paper_deadline": "2017-02-16",
   "paper_deadline_announced": "2017-02-06",
   "paper_extended_days": 10,
   "notification": "2017-03-08",
   "timezone": null,
   "event_start": "2017-04-29",
   "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": "15 pages EPTCS",
   "dblp": "vpt"
  },
  {
   "slug": "vpt",
   "acronym": "VPT",
   "year": "2020",
   "edition": 8,
   "title": "8th International Workshop on Verification and Program Transformation",
   "url": "http://refal.botik.ru/vpt/vpt2020/",
   "page": "https://www.conferences-computer.science/vpt/2020/",
   "status": null,
   "abstract_deadline": "2020-01-13",
   "paper_deadline": "2020-01-20",
   "paper_deadline_announced": "2020-01-20",
   "paper_extended_days": 0,
   "notification": "2020-03-09",
   "timezone": null,
   "event_start": "2020-04-25",
   "event_end": "2020-04-26",
   "city": "Dublin, Ireland",
   "country": "IE",
   "continent": "EU",
   "lat": 53.3498,
   "lon": -6.2603,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages EPTCS (regular) / 3 pages (short)",
   "dblp": "vpt"
  },
  {
   "slug": "vpt",
   "acronym": "VPT",
   "year": "2021",
   "edition": 9,
   "title": "9th International Workshop on Verification and Program Transformation",
   "url": "http://refal.botik.ru/vpt/vpt2021",
   "page": "https://www.conferences-computer.science/vpt/2021/",
   "status": null,
   "abstract_deadline": "2021-01-24",
   "paper_deadline": "2021-01-24",
   "paper_deadline_announced": "2021-01-24",
   "paper_extended_days": 0,
   "notification": "2021-02-16",
   "timezone": null,
   "event_start": "2021-04-27",
   "event_end": "2021-04-28",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages EPTCS (regular) / 3 pages (short)",
   "dblp": "vpt"
  },
  {
   "slug": "vpt",
   "acronym": "VPT",
   "year": "2022",
   "edition": 10,
   "title": "10th International Workshop on Verification and Program Transformation",
   "url": "http://refal.botik.ru/vpt/vpt2022",
   "page": "https://www.conferences-computer.science/vpt/2022/",
   "status": null,
   "abstract_deadline": "2022-01-10",
   "paper_deadline": "2022-01-31",
   "paper_deadline_announced": "2022-01-17",
   "paper_extended_days": 14,
   "notification": "2022-02-14",
   "timezone": null,
   "event_start": "2022-04-02",
   "event_end": null,
   "city": "Munich, Germany",
   "country": "DE",
   "continent": "EU",
   "lat": 48.1351,
   "lon": 11.582,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages EPTCS (regular) / 3 pages (short)",
   "dblp": "vpt"
  }
 ]
}