Program Overview 1st HLF 2013

pdf download

08:00 08:00
08:30 08:30
09:00 09:00
09:30 09:30
10:00 10:00
10:30 10:30
11:00 11:00
11:30 11:30
12:00 12:00
12:30 12:30
13:00 13:00
13:30 13:30
14:00 14:00
14:30 14:30
15:00 15:00
15:30 15:30
16:00 16:00
16:30 16:30
17:00 17:00
17:30 17:30
18:00 18:00
18:30 18:30
19:00 19:00
19:30 19:30
20:00 20:00
20:30 20:30
21:00 21:00
21:30 21:30
22:00 22:00
22:30 22:30
23:00 23:00
Sunday September 22
08:00 08:00
08:30 08:30
09:00 09:00
09:30 09:30
10:00 10:00
10:30 10:30
11:00 11:00
11:30 11:30
12:00 12:00
12:30 12:30
13:00 13:00
13:30 13:30
14:00 14:00
14:30 14:30
15:00 15:00
15:30 15:30
16:00 16:00
16:30 16:30
17:00 17:00
17:30 17:30
18:00 18:00
18:30 18:30
19:00 19:00
19:30 19:30
20:00 20:00
20:30 20:30
21:00 21:00
21:30 21:30
22:00 22:00
22:30 22:30
23:00 23:00
Young Researchers Registration 10:00 - 15:00
Opening Ceremony 15:00 - 16:30
Reception (Heidelberg Convention Center) 17:00 - 19:00
Charity Concert of the SAP Symphony Orchestra (Heidelberg Convention Center) 20:00 - 22:00
Monday September 23
08:00 08:00
08:30 08:30
09:00 09:00
09:30 09:30
10:00 10:00
10:30 10:30
11:00 11:00
11:30 11:30
12:00 12:00
12:30 12:30
13:00 13:00
13:30 13:30
14:00 14:00
14:30 14:30
15:00 15:00
15:30 15:30
16:00 16:00
16:30 16:30
17:00 17:00
17:30 17:30
18:00 18:00
18:30 18:30
19:00 19:00
19:30 19:30
20:00 20:00
20:30 20:30
21:00 21:00
21:30 21:30
22:00 22:00
22:30 22:30
23:00 23:00
Lecture: Reddy 09:00 - 09:45
Lecture: McMullen 09:45 - 10:30
Coffee Break
Lecture: Smale 11:30 - 12:00
Lecture: Clarke 12:00 - 12:30
Lecture: Valiant 12:30 - 13:00
Lunch Break
Discussions/Workshops 15:00 - 16:00
Coffee Break
Panel Discussion 16:30 - 17:30
Transfer
Welcome Dinner (Schwetzingen Castle) 18:30 - 21:30
Transfer
Tuesday September 24
08:00 08:00
08:30 08:30
09:00 09:00
09:30 09:30
10:00 10:00
10:30 10:30
11:00 11:00
11:30 11:30
12:00 12:00
12:30 12:30
13:00 13:00
13:30 13:30
14:00 14:00
14:30 14:30
15:00 15:00
15:30 15:30
16:00 16:00
16:30 16:30
17:00 17:00
17:30 17:30
18:00 18:00
18:30 18:30
19:00 19:00
19:30 19:30
20:00 20:00
20:30 20:30
21:00 21:00
21:30 21:30
22:00 22:00
22:30 22:30
23:00 23:00
Lecture: Wigderson 09:00 - 09:45
Lecture: Micali 09:45 - 10:30
Coffee Break
Lecture: Atiyah 11:30 - 12:00
Lecture: Sudan 12:00 - 12:30
Lecture: Karp 12:30 - 13:00
Lunch Break
Discussions/Workshops 15:00 - 16:00
Coffee Break
Panel Discussion 16:30 - 17:30
Bavarian Evening (Campus Dining Hall) 18:00 - 21:30
Wednesday September 25
08:00 08:00
08:30 08:30
09:00 09:00
09:30 09:30
10:00 10:00
10:30 10:30
11:00 11:00
11:30 11:30
12:00 12:00
12:30 12:30
13:00 13:00
13:30 13:30
14:00 14:00
14:30 14:30
15:00 15:00
15:30 15:30
16:00 16:00
16:30 16:30
17:00 17:00
17:30 17:30
18:00 18:00
18:30 18:30
19:00 19:00
19:30 19:30
20:00 20:00
20:30 20:30
21:00 21:00
21:30 21:30
22:00 22:00
22:30 22:30
23:00 23:00
Transfer
Visits to Local Schools and Institutions 09:00 - 12:00
Lunch Break
Boat Trip on the Neckar River 14:00 - 20:00
Thursday September 26
08:00 08:00
08:30 08:30
09:00 09:00
09:30 09:30
10:00 10:00
10:30 10:30
11:00 11:00
11:30 11:30
12:00 12:00
12:30 12:30
13:00 13:00
13:30 13:30
14:00 14:00
14:30 14:30
15:00 15:00
15:30 15:30
16:00 16:00
16:30 16:30
17:00 17:00
17:30 17:30
18:00 18:00
18:30 18:30
19:00 19:00
19:30 19:30
20:00 20:00
20:30 20:30
21:00 21:00
21:30 21:30
22:00 22:00
22:30 22:30
23:00 23:00
Lecture: Kahan 09:00 - 09:45
Lecture: Sifakis 09:45 - 10:30
Coffee Break
Lecture: Voevodsky 11:30 - 12:15
Lecture: Rabin 12:15 - 13:00
Lunch Break
Discussions/Workshops 15:00 - 16:00
Friday September 27
08:00 08:00
08:30 08:30
09:00 09:00
09:30 09:30
10:00 10:00
10:30 10:30
11:00 11:00
11:30 11:30
12:00 12:00
12:30 12:30
13:00 13:00
13:30 13:30
14:00 14:00
14:30 14:30
15:00 15:00
15:30 15:30
16:00 16:00
16:30 16:30
17:00 17:00
17:30 17:30
18:00 18:00
18:30 18:30
19:00 19:00
19:30 19:30
20:00 20:00
20:30 20:30
21:00 21:00
21:30 21:30
22:00 22:00
22:30 22:30
23:00 23:00
Transfer
Lecture: Varadhan 09:00 - 09:45
Lecture: Kay 09:45 - 10:30
Coffee Break
Lecture: Lampson 11:30 - 12:15
Lecture: Hopcroft 12:15 - 13:00
Lunch Break
Summary & Outlook 14:00 - 15:00
Coffee Break
Panel Discussion 15:30 - 16:30
Transfer
Farewell Dinner (Heidelberg Castle) 18:00 - 22:00