ETAPS 2020

Overview Program

Monday

27 April 2020

08:00

Registration

9:00 – 10:00

Invited Talk

Jane Hillston

Room: Carlisle Suite

10:00 – 10:30

Coffee Break

10:30 – 12:30

TACAS
Room: Carlisle Suite

FoSSaCS
Room: Martello 1 Suite

12:30 – 14:00

Lunch Break

14:00 – 16:00

TACAS
Room: Carlisle Suite

ESOP
Room: Kingstown Suite

FoSSaCS
Room: Martello 1 Suite

16:00 – 16:30

Coffee Break

16:30 – 18:00

Invited Tutorial
Madhusudan Parthasarathy
Room: Carlisle Suite

TACAS
Room: Kingstown Suite

19:00 – 20:30

Welcome Reception

Tuesday

28 April 2020

08:30

Registration

9:00 – 10:00

Invited Talk

Scott Smolka

Room: Carlisle Suite

10:00 – 10:30

Coffee Break

10:30 – 12:30

TACAS
Room: Carlisle Suite

ESOP
Room: Kingstown Suite

FoSSaCS
Room: Martello 1 Suite

12:30 – 14:00

Lunch Break

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

16:00 – 16:30

Coffee Break

16:30 – 18:00

Invited Tutorial
Erika Ábrahám
Room: Carlisle Suite

TACAS
Room: Kingstown Suite

TestComp
Room: Mariner Suite

Wednesday

29 April 2020

08:30

Registration

9:00 – 10:00

Invited Talk

Işıl Dillig

Room: Carlisle Suite

10:00 – 10:30

Coffee Break

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

14:00 – 16:00

TACAS
Room: Carlisle Suite

ESOP
Room: Kingstown Suite

FoSSaCS
Room: Martello 1 Suite

FASE
Room: Martello 2 Suite

16:00 – 16:30

Coffee Break

16:30 – 18:00

TACAS
Room: Carlisle Suite

ESOP
Room: Kingstown Suite

FASE
Room: Martello 2 Suite

18:30 – 22:30

Tour & Conference Dinner

Thursday

30 April 2020

08:30

Registration

9:00 – 10:00

Invited Talk

Willem Visser

Room: Carlisle Suite

10:00 – 10:30

Coffee Break

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

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:30 – 18:00

TACAS
Room: Carlisle Suite

SVComp
Room: Kingstown Suite