Programme

RDP programme:

Timetable SUN
May 29
MON
May 30
TUE
May 31
WED June 1 THU
June 2
FRI
June 3
Timetable
08:00 - 09:00 Registration RTA Registration TLCA Registration IFIP WG 1.6 08:00 - 09:00
09:00 - 09:30 Workshops:
COBRA, 2FC, TPDC, WRS
RTA Opening RTA Session 5:
Invited Speaker Ashish Tiwari
RTA Session 9. TLCA Session 1:
RDP Invited Speaker Stephanie Weirich
TLCA Session 4:
Invited Speaker Vladimir Voevodsky
TLCA Session 7:
Invited Speaker Alexandre Miquel
09:00 - 09:30
09:30 - 10:00 Coffee Break 09:30 - 10:00
10:00 - 10:15 Coffee break RTA Session 1:
Invited Speaker Sophie Tison
Coffee break Coffee break Coffee break Coffee break Coffee break 10:00 - 10:15
10:15 - 10:30 TLCA Opening 10:15 - 10:30
10:30 - 11:00 Workshops:
COBRA, 2FC, TPDC, WRS
RTA Session 6:
RTA Session 10:
TLCA Session 2:
TLCA Session 5:
TLCA Session 8:
10:30 - 11:00
11:00 - 11:30 RTA Session 2
11:00 - 11:30
11:30 - 12:00 11:30 - 12:00
12:00 - 12:30 Lunch break Lunch break Lunch break Lunch break Lunch and Closing 12:00 - 12:30
12:30 - 14:00 Lunch break 12:30 - 14:00
14:00 - 14:30 Workshops:
COBRA, 2FC, TPDC, WRS
RTA Session 7:
RTA Session 11:
TLCA Session 3:
TLCA Session 6:
  14:00 - 14:30
14:30 - 15:00 RTA Session 3:
14:30 - 15:00
15:00 - 15:30 15:00 - 15:30
15:30 - 16:00 Coffee Break Coffee Break Coffee Break 
RTA+TLCA business meeting
Coffee Break 15:30 - 16:00
16:00 - 16:30 Workshops:
COBRA, 2FC, TPDC, WRS
Coffee Break RTA Session 8:
TLCA Business Meeting 16:00 - 16:30
16:30 - 17:00 RTA Session 4:
Excursion & Conference Dinner
(until 00:00)
16:30 - 17:00
17:00 - 17:30   17:00 - 17:30
17:30 - 18:00 Coffee break 17:30 - 18:00
18:00 - 19:00   Social event: Fortress walk from 18:30 RTA Business
Meeting
Social event: City walk from 18h 18:00 - 19:00

RDP at glance

 

RDP Programme
RTA Programme
TLCA Programme
COBRA Programme
TPDC Programme
2FC Programme
WRS Programme
IFIP Programme

RDP Programme.pdf
RTA Programme.pdf
TLCA Programme.pdf
COBRA Programme.pdf
TPDC Programme.pdf
2FC Programme.pdf
WRS Programme.pdf
IFIP Programme.pdf

Social Events

RTA 2011 Accepted Papers
TLCA 2011 Accepted Papers