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		General assembly	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)	TACAS/Test-Comp/ ESOP'20/FASE'20/ FoSSaCS'20

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