BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:VPT — deadlines and dates
X-WR-CALDESC:Every recorded edition of VPT. https://www.conferences-compute
 r.science/vpt/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:vpt-2017-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170210
DTEND;VALUE=DATE:20170211
SUMMARY:VPT 2017 — abstract deadline
DESCRIPTION:Fifth International Workshop on Verification and Program Transf
 ormation\nNo time zone stated by the organisers\; this site assumes Anywhe
 re on Earth.\nShown as an all-day event: the deadline is a moment\, not a 
 day\, so check the exact time on the conference site.\nExtended from 31 Ja
 nuary 2017.\nHeld in Uppsala\, Sweden.\nConference dates: 29 Apr 2017.\nht
 tps://www.conferences-computer.science/vpt/2017/
URL:https://www.conferences-computer.science/vpt/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,VPT
END:VEVENT
BEGIN:VEVENT
UID:vpt-2017-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170216
DTEND;VALUE=DATE:20170217
SUMMARY:VPT 2017 — paper deadline
DESCRIPTION:Fifth International Workshop on Verification and Program Transf
 ormation\nNo time zone stated by the organisers\; this site assumes Anywhe
 re on Earth.\nShown as an all-day event: the deadline is a moment\, not a 
 day\, so check the exact time on the conference site.\nExtended from 06 Fe
 bruary 2017.\nHeld in Uppsala\, Sweden.\nConference dates: 29 Apr 2017.\nh
 ttps://www.conferences-computer.science/vpt/2017/
URL:https://www.conferences-computer.science/vpt/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,VPT
END:VEVENT
BEGIN:VEVENT
UID:vpt-2017-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170308
DTEND;VALUE=DATE:20170309
SUMMARY:VPT 2017 — notification
DESCRIPTION:Fifth International Workshop on Verification and Program Transf
 ormation\nNo time zone stated by the organisers\; this site assumes Anywhe
 re on Earth.\nShown as an all-day event: the deadline is a moment\, not a 
 day\, so check the exact time on the conference site.\nHeld in Uppsala\, S
 weden.\nConference dates: 29 Apr 2017.\nhttps://www.conferences-computer.s
 cience/vpt/2017/
URL:https://www.conferences-computer.science/vpt/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,VPT
END:VEVENT
BEGIN:VEVENT
UID:vpt-2020-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20200113
DTEND;VALUE=DATE:20200114
SUMMARY:VPT 2020 — abstract deadline
DESCRIPTION:8th International Workshop on Verification and Program Transfor
 mation\nNo time zone stated by the organisers\; this site assumes Anywhere
  on Earth.\nShown as an all-day event: the deadline is a moment\, not a da
 y\, so check the exact time on the conference site.\nHeld in Dublin\, Irel
 and.\nConference dates: 25–26 Apr 2020.\nhttps://www.conferences-compute
 r.science/vpt/2020/
URL:https://www.conferences-computer.science/vpt/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,VPT
END:VEVENT
BEGIN:VEVENT
UID:vpt-2020-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20200120
DTEND;VALUE=DATE:20200121
SUMMARY:VPT 2020 — paper deadline
DESCRIPTION:8th International Workshop on Verification and Program Transfor
 mation\nNo time zone stated by the organisers\; this site assumes Anywhere
  on Earth.\nShown as an all-day event: the deadline is a moment\, not a da
 y\, so check the exact time on the conference site.\nHeld in Dublin\, Irel
 and.\nConference dates: 25–26 Apr 2020.\nhttps://www.conferences-compute
 r.science/vpt/2020/
URL:https://www.conferences-computer.science/vpt/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,VPT
END:VEVENT
BEGIN:VEVENT
UID:vpt-2020-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20200309
DTEND;VALUE=DATE:20200310
SUMMARY:VPT 2020 — notification
DESCRIPTION:8th International Workshop on Verification and Program Transfor
 mation\nNo time zone stated by the organisers\; this site assumes Anywhere
  on Earth.\nShown as an all-day event: the deadline is a moment\, not a da
 y\, so check the exact time on the conference site.\nHeld in Dublin\, Irel
 and.\nConference dates: 25–26 Apr 2020.\nhttps://www.conferences-compute
 r.science/vpt/2020/
URL:https://www.conferences-computer.science/vpt/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,VPT
END:VEVENT
BEGIN:VEVENT
UID:vpt-2021-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210124
DTEND;VALUE=DATE:20210125
SUMMARY:VPT 2021 — abstract deadline
DESCRIPTION:9th International Workshop on Verification and Program Transfor
 mation\nNo time zone stated by the organisers\; this site assumes Anywhere
  on Earth.\nShown as an all-day event: the deadline is a moment\, not a da
 y\, so check the exact time on the conference site.\nHeld in Online.\nConf
 erence dates: 27–28 Apr 2021.\nhttps://www.conferences-computer.science/
 vpt/2021/
URL:https://www.conferences-computer.science/vpt/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,VPT
END:VEVENT
BEGIN:VEVENT
UID:vpt-2021-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210124
DTEND;VALUE=DATE:20210125
SUMMARY:VPT 2021 — paper deadline
DESCRIPTION:9th International Workshop on Verification and Program Transfor
 mation\nNo time zone stated by the organisers\; this site assumes Anywhere
  on Earth.\nShown as an all-day event: the deadline is a moment\, not a da
 y\, so check the exact time on the conference site.\nHeld in Online.\nConf
 erence dates: 27–28 Apr 2021.\nhttps://www.conferences-computer.science/
 vpt/2021/
URL:https://www.conferences-computer.science/vpt/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,VPT
END:VEVENT
BEGIN:VEVENT
UID:vpt-2021-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210216
DTEND;VALUE=DATE:20210217
SUMMARY:VPT 2021 — notification
DESCRIPTION:9th International Workshop on Verification and Program Transfor
 mation\nNo time zone stated by the organisers\; this site assumes Anywhere
  on Earth.\nShown as an all-day event: the deadline is a moment\, not a da
 y\, so check the exact time on the conference site.\nHeld in Online.\nConf
 erence dates: 27–28 Apr 2021.\nhttps://www.conferences-computer.science/
 vpt/2021/
URL:https://www.conferences-computer.science/vpt/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,VPT
END:VEVENT
BEGIN:VEVENT
UID:vpt-2022-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220110
DTEND;VALUE=DATE:20220111
SUMMARY:VPT 2022 — abstract deadline
DESCRIPTION:10th International Workshop on Verification and Program Transfo
 rmation\nNo time zone stated by the organisers\; this site assumes Anywher
 e on Earth.\nShown as an all-day event: the deadline is a moment\, not a d
 ay\, so check the exact time on the conference site.\nHeld in Munich\, Ger
 many.\nConference dates: 2 Apr 2022.\nhttps://www.conferences-computer.sci
 ence/vpt/2022/
URL:https://www.conferences-computer.science/vpt/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,VPT
END:VEVENT
BEGIN:VEVENT
UID:vpt-2022-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220131
DTEND;VALUE=DATE:20220201
SUMMARY:VPT 2022 — paper deadline
DESCRIPTION:10th International Workshop on Verification and Program Transfo
 rmation\nNo time zone stated by the organisers\; this site assumes Anywher
 e on Earth.\nShown as an all-day event: the deadline is a moment\, not a d
 ay\, so check the exact time on the conference site.\nExtended from 17 Jan
 uary 2022.\nHeld in Munich\, Germany.\nConference dates: 2 Apr 2022.\nhttp
 s://www.conferences-computer.science/vpt/2022/
URL:https://www.conferences-computer.science/vpt/2022/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,VPT
END:VEVENT
BEGIN:VEVENT
UID:vpt-2022-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220214
DTEND;VALUE=DATE:20220215
SUMMARY:VPT 2022 — notification
DESCRIPTION:10th International Workshop on Verification and Program Transfo
 rmation\nNo time zone stated by the organisers\; this site assumes Anywher
 e on Earth.\nShown as an all-day event: the deadline is a moment\, not a d
 ay\, so check the exact time on the conference site.\nHeld in Munich\, Ger
 many.\nConference dates: 2 Apr 2022.\nhttps://www.conferences-computer.sci
 ence/vpt/2022/
URL:https://www.conferences-computer.science/vpt/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,VPT
END:VEVENT
BEGIN:VEVENT
UID:vpt-2017-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170429
DTEND;VALUE=DATE:20170430
SUMMARY:VPT 2017 — Uppsala\, Sweden
DESCRIPTION:Fifth International Workshop on Verification and Program Transf
 ormation\nHeld in Uppsala\, Sweden.\nPaper deadline was 16 February 2017.\
 nhttps://www.conferences-computer.science/vpt/2017/
URL:https://www.conferences-computer.science/vpt/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,VPT
END:VEVENT
BEGIN:VEVENT
UID:vpt-2020-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20200425
DTEND;VALUE=DATE:20200427
SUMMARY:VPT 2020 — Dublin\, Ireland
DESCRIPTION:8th International Workshop on Verification and Program Transfor
 mation\nHeld in Dublin\, Ireland.\nPaper deadline was 20 January 2020.\nht
 tps://www.conferences-computer.science/vpt/2020/
URL:https://www.conferences-computer.science/vpt/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,VPT
END:VEVENT
BEGIN:VEVENT
UID:vpt-2021-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210427
DTEND;VALUE=DATE:20210429
SUMMARY:VPT 2021 — Online
DESCRIPTION:9th International Workshop on Verification and Program Transfor
 mation\nHeld in Online.\nPaper deadline was 24 January 2021.\nhttps://www.
 conferences-computer.science/vpt/2021/
URL:https://www.conferences-computer.science/vpt/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,VPT
END:VEVENT
BEGIN:VEVENT
UID:vpt-2022-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220402
DTEND;VALUE=DATE:20220403
SUMMARY:VPT 2022 — Munich\, Germany
DESCRIPTION:10th International Workshop on Verification and Program Transfo
 rmation\nHeld in Munich\, Germany.\nPaper deadline was 31 January 2022.\nh
 ttps://www.conferences-computer.science/vpt/2022/
URL:https://www.conferences-computer.science/vpt/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,VPT
END:VEVENT
END:VCALENDAR