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

 

Who's online

We have 145 guests and no members online

Site Hosted by