ETAPS 2021: 27 March-1 April 2021, Luxembourg, Luxembourg (online)

ETAPS 2021 Programme

NOTICE REGARDING THE TIMES IN THE PROGRAMME: All times are given in Luxembourg time. Luxembourg, as all of EU, will switch to daylight saving time during the night between Sat 27 March and Sun 28 March. 

From Sun 28 March, Luxembourg time is CEST (Central European Summer Time,  GMT+2).

This programme is subject to changes.

Time

Monday, March 29

Tuesday, March 30

Wednesday, March 31

Thursday, April 1

8:40-9:00

ETAPS Opening

 

 

 

9:00-10:20

TACAS'20/FASE'20/

ESOP'20/FoSSaCS'20

TACAS'20/FASE'20/

ESOP'20/FoSSaCS'20

TACAS'20/TACAS'20/

FASE'20/ESOP'20

TACAS'20/TACAS'20/

FASE'20/FoSSaCS'20

 

 

 

 

 

10:40-12:00

TACAS/FASE/

FoSSaCS

TACAS/FASE/

FoSSaCS/ESOP

TACAS/FoSSaCS/

ESOP

TACAS/ESOP/

TACAS'20/FoSSaCS'20

 

 

 

 

 

13:00-13:20

 

 

General assembly

 

13:20-14:00

Award Session

Best paper awards EATCS, EAPLS, EASST

VerifyThis prize Winners

Test-of-time award

ETAPS 2022

 

13:30-14:00:

ETAPS PhD Dissertation Award: Ralf Jung. Understanding and Evolving the Rust Programming Language [doi].

14:00-14:20

Invited Speaker: Willem Visser

(Chair: Marielle Stoelinga)

TACAS/FASE/

FoSSaCS/ESOP

TACAS/FoSSaCS/

ESOP/SV-COMP

Invited Speaker: Jane Hillston

(Chair: Peter Y.A. Ryan)

14:20-14:40

14:40-15:00

15:00-15:20

 

 

15:20-15:40

TACAS/FASE/

FoSSaCS/ESOP'20

 

 

TACAS/ESOP/

Test-Comp/TACAS'20

15:40-16:00

Invited Speaker:

Scott Smolka

(Chair: Marieke Huisman) 

TACAS/FoSSaCS/

SV-Comp/TACAS'20

16:00-16:20

16:20-16:40

16:40-17:00 

 

 

 

17:00-17:20

TACAS/

Invited tutorial:

Madhusudan Parthasararathy

(Chair: Lenore D. Zuck) 

TACAS/

Invited Tutorial:

Erika Ábrahám

(Chair: Marieke Huisman)  

 

TACAS/Test-Comp/

ESOP'20/FASE'20/

FoSSaCS'20

 

17:20-18:20

Invited Speaker:

Isil Dillig 

(Chair: Peter Müller)

 Social Event: there will be a social event on Wednesday, March 31, 19.05-20.45 CEST