Wednesday July 24th

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 #9

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

09:00-10:30 in Aud. 3
RTA #9

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

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

11:00-12:30 in Aud. 2
FME #10: Refinement and program verification

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

L U N C H

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

14:00-15:30 in Aud. 2
FME #11: Model checking theory

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

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

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

16:00-17:30 in Aud. 2
FME #12: Combining methods

17:30-18:10 in Aud. 1
LICS #13: Short Paper Session (short presentations)

17:30-19:00 in Aud. 2
FME FME business meeting

20:00-21:00 in Aud. 1
LICS LICS Business Meeting