All sessionsSee also the by-slot program
08:30-18:00 in LobbyFME Tool demonstrations
09:00-10:30 in Aud. 1LICS #9
09:00-10:30 in Aud. 2FME #9: Invited speaker (w. invited talk)
09:00-10:30 in Aud. 3RTA #9
R E F R E S H M E N T S
11:00-12:30 in Aud. 1LICS #10
11:00-12:30 in Aud. 2FME #10: Refinement and program verification
11:00-12:30 in Aud. 3RTA #10 (w. invited talk)
L U N C H
14:00-15:30 in Aud. 1LICS #11 (w. invited lecture)
14:00-15:30 in Aud. 2FME #11: Model checking theory
14:00-15:30 in Aud. 3RTA #11
16:00-17:30 in Aud. 1LICS #12
16:00-17:30 in Aud. 2FME #12: Combining methods
17:30-18:10 in Aud. 1LICS #13: Short Paper Session (short presentations)
17:30-19:00 in Aud. 2FME FME business meeting
20:00-21:00 in Aud. 1LICS LICS Business Meeting