Programme overview

The ETAPS association strongly condemns the war against Ukraine launched by President Putin. It is an intolerable breach of international law and a crime against humanity, unfolding in Europe now.

Zoom Links for Conference Rooms

HS1:                https://tum-conf.zoom.us/j/65120604661
HS2:                https://tum-conf.zoom.us/j/62583961283
HS3:                https://tum-conf.zoom.us/j/61711330371
Interims HS1: https://tum-conf.zoom.us/j/63835515987

 

On-site room plan

See here for a plan of the campus and main building.

 

Workshop Programme: Saturday April 2nd and Sunday April 3rd

The following table alphabetically lists all workshops and the days on which they are held. For more information on the workshops, see here.

Event	Saturday	Sunday	Zoom link
CMCS	00.13.009A	00.13.009A	link
COOP		01.09.014	onsite only
HCVS		01.07.023	link
LiVe	00.08.038		onsite only
MARS	00.08.036	00.08.036	link
Mentoring		00.08.059	link
MSFP	01.07.014		link
PLACES		00.08.038	link
QAVS		00.08.036	link
RRRR	00.13.008		link
RW		01.07.014	link
SynCoP	01.07.023		link
VerifyThis	00.07.014	00.07.014	link
VPT	01.07.023		link
WRLA	01.11.018	01.11.018	link

 

Main Conference Programme: Monday April 4th to Thursday April 7th

Notice on time zones: All times are given in German time, i.e. CEST (Central European Summer Time,  UTC+2).
Note that Germany, as all of EU, performs the switch from CET to CEST shortly before the conference, on Sunday March 27.

This programme is subject to changes.

 

Time	Mon, April 04	Tue, April 05	Wed, April 06	Thu, April 07
08:40-09:00	ETAPS Opening
09:00-10:00	Invited speaker:Tomas Vojnar	Invited speaker: Nathalie Bertrand	Invited speaker: Alexandra Silva	Invited speaker: Lenore Zuck
10:00-10:30	Coffee break
10:30-12:30	TACAS FASE FoSSaCS	TACAS FASE FoSSaCS	TACAS (2 sessions) FoSSaCS ESOP	TACAS (2 sessions) ESOP
12:30-14:00	Lunch break                                 General Assembly                               Wed 13:00-14:00
14:00-16:00	TACAS FASE FoSSaCS TestComp	TACAS FASE FoSSaCS ESOP	TACAS FoSSaCS ESOP	TACAS ESOP SVComp
16:00-16:30	Coffee break
16:30-18:00	TACAS TestComp Invited Tutorial: Stacey Jeffery	TACAS Invited tutorial: Nicholas Lane / Pedro Porto Buarque de Gusmão	ETAPS 25	TACAS ESOP SVComp
Evening	Reception	SC Meeting	Banquet