Programme
Ninth International Workshop on
Verification and Program Transformation
The Ninth International Workshop on Verification and Program Transformation (VPT-2021) aims to bring together researchers working in two different areas, Verification and Program Transformation.
VPT-2021 will be an ETAPS-2021 Workshop, and held online on March 27th and 28th, 2021, Luxembourg, Luxembourg.
The workshop will provide a forum where all interactions of the two fields can be presented and discussed.
The VPT 2021 event will consist of two parts:
Online registration desk: https://etaps.org/2021/registration
Saturday, March 27
08:40-08:55 |
Registration |
08:55-09:00 |
Welcome |
Sessions 1, 2. |
Chairs: Alexei P. Lisitsa and Andrei P. Nemytykh |
09:00-10:00 |
|
10:00-10:15 |
Coffee Break |
10:15-11:00 |
|
11:00-11:45 |
|
11:45-12:45 |
Lunch |
Session 3. |
Chair: Maurizio Proietti |
12:45-13:30 |
|
13:30-14:00 |
|
14:00-14:15 |
Coffee Break |
Session 4. |
Chair: Fritz Henglein |
14:15-15:00 |
|
15:00-15:30 |
|
15:30-15:45 |
Coffee Break |
Session 5. |
Chair: John P. Gallagher |
15:45-16:30 |
|
16:30-17:00 |
|
17:00-17:15 |
Coffee Break |
17:15-18:00 |
Sunday, March 28
Session 1. |
Chair: Geoff W. Hamilton |
09:00-09:45 |
|
09:45-10:15 |
|
10:15-10:30 |
Coffee Break |
Session 2. |
Chair: Laura Kovacs |
10:30-11:15 |
|
11:15-11:35 |
|
11:35-12:35 |
Lunch |
Session 3. |
Chair: Alberto Pettorossi |
12:35-13:20 |
|
13:20-13:50 |
|
13:50-14:05 |
Coffee Break |
Session 4. |
Chairs: Alexei P. Lisitsa and Andrei P. Nemytykh |
14:05-14:50 |
|
14:50-15:20 |
|
15:20-15:35 |
Coffee Break |
Session 5. |
Chair: Lorenzo Clemente |
15:35-16:20 |
|
16:20-17:05 |
|
17:05-17:20 |
Coffee Break |
Reminiscences session
17:20-17:35 |
|
17:35-17:50 |
|
17:50-?18:50? |
Welcome to talk |
?18:50-19:00? |
Closing |
Contacts
Email:
Alexei Lisitsa, a.lisitsa@csc.liv.ac.uk
Andrei P. Nemytykh, nemytykh@math.botik.ru
Web:
http://refal.botik.ru/vpt/vpt2021/
https://etaps.org/2021/workshops/