Tuesday July 23rd

All sessions
See also the by-slot program


LICSFMERTA

08:30-18:00 in Lobby
FME Tool demonstrations

09:00-10:30 in Aud. 1
LICS #5

09:00-10:30 in Aud. 2
FME #5: Invited speaker (w. invited talk)

09:00-10:30 in Aud. 3
RTA #5 (w. application paper)

R E F R E S H M E N T S

11:00-12:30 in Aud. 1
LICS #6

11:00-12:30 in Aud. 2
FME #6: Smart cards

11:00-12:30 in Aud. 3
RTA #6 (w. invited talk)

L U N C H

14:00-15:30 in Aud. 1
LICS #7 (w. invited lecture)

14:00-15:30 in Aud. 2
FME #7: Refinement and proof

14:00-15:30 in Aud. 3
RTA #7 (w. application paper)

R E F R E S H M E N T S

16:00-17:30 in Aud. 1
LICS #8

16:00-17:30 in Aud. 2
FME #8: Real-time and performance

16:00-17:20 in Aud. 3
RTA #8: Tool Demonstrations

19:30-22:30 in Restaurant Luftkastellet
FME+LICS+RTA Conference dinner (w. plenary talk)