Program Overview 1st HLF 2013

pdf download

08:0008:00
08:3008:30
09:0009:00
09:3009:30
10:0010:00
10:3010:30
11:0011:00
11:3011:30
12:0012:00
12:3012:30
13:0013:00
13:3013:30
14:0014:00
14:3014:30
15:0015:00
15:3015:30
16:0016:00
16:3016:30
17:0017:00
17:3017:30
18:0018:00
18:3018:30
19:0019:00
19:3019:30
20:0020:00
20:3020:30
21:0021:00
21:3021:30
22:0022:00
22:3022:30
23:0023:00
Sunday September 22
08:0008:00
08:3008:30
09:0009:00
09:3009:30
10:0010:00
10:3010:30
11:0011:00
11:3011:30
12:0012:00
12:3012:30
13:0013:00
13:3013:30
14:0014:00
14:3014:30
15:0015:00
15:3015:30
16:0016:00
16:3016:30
17:0017:00
17:3017:30
18:0018:00
18:3018:30
19:0019:00
19:3019:30
20:0020:00
20:3020:30
21:0021:00
21:3021:30
22:0022:00
22:3022:30
23:0023:00
Charity Concert of the SAP Symphony Orchestra (Heidelberg Convention Center) 20:00 - 22:00
Opening Ceremony 15:00 - 16:30
Reception (Heidelberg Convention Center) 17:00 - 19:00
Young Researchers Registration 10:00 - 15:00
Monday September 23
08:0008:00
08:3008:30
09:0009:00
09:3009:30
10:0010:00
10:3010:30
11:0011:00
11:3011:30
12:0012:00
12:3012:30
13:0013:00
13:3013:30
14:0014:00
14:3014:30
15:0015:00
15:3015:30
16:0016:00
16:3016:30
17:0017:00
17:3017:30
18:0018:00
18:3018:30
19:0019:00
19:3019:30
20:0020:00
20:3020:30
21:0021:00
21:3021:30
22:0022:00
22:3022:30
23:0023:00
Coffee Break
Coffee Break
Discussions/Workshops 15:00 - 16:00
Lecture: Clarke 12:00 - 12:30
Lecture: McMullen 09:45 - 10:30
Lecture: Reddy 09:00 - 09:45
Lecture: Smale 11:30 - 12:00
Lecture: Valiant 12:30 - 13:00
Lunch Break
Panel Discussion 16:30 - 17:30
Transfer
Transfer
Welcome Dinner (Schwetzingen Castle) 18:30 - 21:30
Tuesday September 24
08:0008:00
08:3008:30
09:0009:00
09:3009:30
10:0010:00
10:3010:30
11:0011:00
11:3011:30
12:0012:00
12:3012:30
13:0013:00
13:3013:30
14:0014:00
14:3014:30
15:0015:00
15:3015:30
16:0016:00
16:3016:30
17:0017:00
17:3017:30
18:0018:00
18:3018:30
19:0019:00
19:3019:30
20:0020:00
20:3020:30
21:0021:00
21:3021:30
22:0022:00
22:3022:30
23:0023:00
Bavarian Evening (Campus Dining Hall) 18:00 - 21:30
Coffee Break
Coffee Break
Discussions/Workshops 15:00 - 16:00
Lecture: Atiyah 11:30 - 12:00
Lecture: Karp 12:30 - 13:00
Lecture: Micali 09:45 - 10:30
Lecture: Sudan 12:00 - 12:30
Lecture: Wigderson 09:00 - 09:45
Lunch Break
Panel Discussion 16:30 - 17:30
Wednesday September 25
08:0008:00
08:3008:30
09:0009:00
09:3009:30
10:0010:00
10:3010:30
11:0011:00
11:3011:30
12:0012:00
12:3012:30
13:0013:00
13:3013:30
14:0014:00
14:3014:30
15:0015:00
15:3015:30
16:0016:00
16:3016:30
17:0017:00
17:3017:30
18:0018:00
18:3018:30
19:0019:00
19:3019:30
20:0020:00
20:3020:30
21:0021:00
21:3021:30
22:0022:00
22:3022:30
23:0023:00
Boat Trip on the Neckar River 14:00 - 20:00
Lunch Break
Transfer
Visits to Local Schools and Institutions 09:00 - 12:00
Thursday September 26
08:0008:00
08:3008:30
09:0009:00
09:3009:30
10:0010:00
10:3010:30
11:0011:00
11:3011:30
12:0012:00
12:3012:30
13:0013:00
13:3013:30
14:0014:00
14:3014:30
15:0015:00
15:3015:30
16:0016:00
16:3016:30
17:0017:00
17:3017:30
18:0018:00
18:3018:30
19:0019:00
19:3019:30
20:0020:00
20:3020:30
21:0021:00
21:3021:30
22:0022:00
22:3022:30
23:0023:00
Coffee Break
Discussions/Workshops 15:00 - 16:00
Lecture: Kahan 09:00 - 09:45
Lecture: Rabin 12:15 - 13:00
Lecture: Sifakis 09:45 - 10:30
Lecture: Voevodsky 11:30 - 12:15
Lunch Break
Friday September 27
08:0008:00
08:3008:30
09:0009:00
09:3009:30
10:0010:00
10:3010:30
11:0011:00
11:3011:30
12:0012:00
12:3012:30
13:0013:00
13:3013:30
14:0014:00
14:3014:30
15:0015:00
15:3015:30
16:0016:00
16:3016:30
17:0017:00
17:3017:30
18:0018:00
18:3018:30
19:0019:00
19:3019:30
20:0020:00
20:3020:30
21:0021:00
21:3021:30
22:0022:00
22:3022:30
23:0023:00
Coffee Break
Coffee Break
Farewell Dinner (Heidelberg Castle) 18:00 - 22:00
Lecture: Hopcroft 12:15 - 13:00
Lecture: Kay 09:45 - 10:30
Lecture: Lampson 11:30 - 12:15
Lecture: Varadhan 09:00 - 09:45
Lunch Break
Panel Discussion 15:30 - 16:30
Summary & Outlook 14:00 - 15:00
Transfer
Transfer