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  

 

 

Who's online

We have 212 guests and no members online

Site Hosted by