Monday July 22nd

All sessions
See also the by-slot program


LICSFMERTA

08:45-09:55 in Aud. 1
FME+LICS+RTA FLoC opening (w. invited talk)

10:00-10:35 in Aud. 1
LICS #1

10:00-10:30 in Aud. 2
FME #1: Testing

10:00-10:30 in Aud. 3
RTA #1

10:00-18:00 in Lobby
FME Tool demonstrations

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

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

11:00-12:30 in Aud. 2
FME #2: Testing

11:00-12:30 in Aud. 3
RTA #2

L U N C H

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

14:00-15:30 in Aud. 2
FME #3: Semantics and logic (In memory of John Dawes)

14:00-15:30 in Aud. 3
RTA #3

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

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

16:00-18:00 in Aud. 2
FME #4: Model checking support for analysis

16:00-16:30 in Aud. 3
RTA #4

16:30-17:30 in Aud. 3
RTA Business meeting

19:00-21:00 in City Hall
FME+LICS+RTA City Hall reception