ETAPS 2020: 25-30 April 2020, Dublin, Ireland cancelled

ETAPS 2020 programme

The physical ETAPS 25-30 April 2020 has been cancelled.
The programme as described below will not not take place. The authors of papers accepted to the main conferences will get an opportunity to present their work at ETAPS 2021 in Luxembourg.

Programme at a glance

(Mobile-friendly) detailed programme

Monday 27 April 2020	Tuesday 28 April 2020	Wednesday 29 April 2020	Thursday 30 April 2020
Detailed	Detailed	Detailed	Detailed
08:00 Registration	08:30 Registration	08:30 Registration	08:30 Registration
9:00 – 10:00 Invited Talk Jane Hillston Room: Carlisle Suite	9:00 – 10:00 Invited Talk Scott Smolka Room: Carlisle Suite	9:00 – 10:00 Invited Talk Işıl Dillig Room: Carlisle Suite	9:00 – 10:00 Invited Talk Willem Visser Room: Carlisle Suite
10:00 – 10:30 Coffee Break	10:00 – 10:30 Coffee Break	10:00 – 10:30 Coffee Break	10:00 – 10:30 Coffee Break
10:30 – 12:30 TACAS Room: Carlisle Suite FoSSaCS Room: Martello 1 Suite	10:30 – 12:30 TACAS Room: Carlisle Suite ESOP Room: Kingstown Suite FoSSaCS Room: Martello 1 Suite	10:30 – 12:30 TACAS Room: Carlisle Suite ESOP Room: Kingstown Suite FoSSaCS Room: Martello 1 Suite FASE Room: Martello 2 Suite	10:30 – 12:30 TACAS Room: Carlisle Suite ESOP Room: Kingstown Suite FoSSaCS Room: Martello 1 Suite FASE Room: Martello 2 Suite
12:30 – 14:00 Lunch Break	12:30 – 14:00 Lunch Break	12:30 – 14:00 Lunch Break	12:30 – 14:00 Lunch Break
14:00 – 16:00 TACAS Room: Carlisle Suite ESOP Room: Kingstown Suite FoSSaCS Room: Martello 1 Suite	14:00 – 16:00 TACAS Room: Carlisle Suite ESOP Room: Kingstown Suite FoSSaCS Room: Martello 1 Suite FASE Room: Martello 2 Suite TestComp Room: Mariner Suite	14:00 – 16:00 TACAS Room: Carlisle Suite ESOP Room: Kingstown Suite FoSSaCS Room: Martello 1 Suite FASE Room: Martello 2 Suite	14:00 – 16:00 TACAS Room: Carlisle Suite FoSSaCS Room: Martello 1 Suite FASE Room: Martello 2 Suite SVComp Room: Kingstown Suite
16:00 – 16:30 Coffee Break	16:00 – 16:30 Coffee Break	16:00 – 16:30 Coffee Break	16:00 – 16:30 Coffee Break
16:30 – 18:00 Invited Tutorial Madhusudan Parthasarathy Room: Carlisle Suite TACAS Room: Kingstown Suite	16:30 – 18:00 Invited Tutorial Erika Ábrahám Room: Carlisle Suite TACAS Room: Kingstown Suite TestComp Room: Mariner Suite	16:30 – 18:00 TACAS Room: Carlisle Suite ESOP Room: Kingstown Suite FASE Room: Martello 2 Suite	16:30 – 18:00 TACAS Room: Carlisle Suite SVComp Room: Kingstown Suite
19:00 - 20:30 Welcome Reception		18:30 - 22:30 Tour & Conference Dinner