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 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
RTA 2011 Accepted Papers
TLCA 2011 Accepted Papers