Program Sunday, 28/06/2009 Monday, 29/06/2009 Tuesday, 30/06/2009 Wednesday, 01/07/2009 Thursday, 02/07/2009 Friday, 03/07/2009
08:30h – 09:00h Workshop Registration RTA Registration. TLCA Registration. IFIP WG 1.6 Day
09:00h – 10:00h Workshops: LSFA, RULE, WRS, WFLP RTA Session1: Invited Speaker: Johannes Waldmann. RTA Session5: Invited Speaker: Vincent Danos. RTA+TLCA Session: Invited Speaker: Robert Harper. TLCA Session 5: Invited Speaker: Jean-Louis Krivine. TLCA Session 9: Invited Speaker: Marcelo Fiore.
10:00h – 10:30h Coffee-Break Coffee-Break Coffee-Break Coffee-Break Coffee-Break
10:30h – 11:00h RTA Session 2
RTA Session 6
RTA Session 10 + TLCA Session 2. TLCA Session 6
TLCA Session 10
11:00h – 11:30h
11:30h – 12:00h
12:00h – 14:00h Lunch Lunch Lunch Lunch Lunch
14:00h – 14:30h RTA Session 3
RTA Session 7
RTA Session 11 + TLCA Session 3. TLCA Session 7
TLCA Session 11
14:30h – 15:30h
15:30h – 16:00h Coffee-Break Coffee-Break Coffee-Break Coffee-Break
16:00h – 16:30h RTA Session 4
RTA Session 8
TLCA Session 4 TLCA Session 8
Coffee-Break
16:30h – 17:00h TLCA Business Meeting
17:00h – 17:30h
17:30h – 18:00h
18:00h – 19:00h RDP Business Meeting and RTA Business Meeting
20:00h – ... Conference Dinner