Program Overview 3rd HLF 2015

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 August 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
Opening Ceremony 15:00 - 16:30
Reception (Marstall Cafeteria) 17:00 - 21:00
Young Researchers Registration 10:00 - 15:00
Monday August 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
Coffee Break
Coffee Break
Heidelberg Castle Tour 18:00 - 19:00
Lecture: L. Blum 12:30 - 13:00
Lecture: Lamport 11:30 - 12:00
Lecture: M. Blum 09:45 - 10:30
Lecture: Mori 12:00 - 12:30
Lindau Lecture: Hell 09:00 - 09:45
Lunch Break
Transfer
Welcome Dinner (Heidelberg Castle) 19:00 - 22:00
Workshop Session I 15:00 - 16:00
Workshop Session II 16:30 - 17:30
Tuesday August 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
Bavarian Evening (Kulturbrauerei) 19:00 - 22:00
Coffee Break
Coffee Break
Coffee Break
Hot Topic I 14:30 - 15:30
Hot Topic II 16:00 - 17:00
Hot Topic III 17:30 - 18:30
Lecture: Brooks 12:15 - 13:00
Lecture: Clarke 09:45 - 10:30
Lecture: Hoare 09:00 - 09:45
Lecture: Voevodsky 11:30 - 12:15
Lunch Break
Wednesday August 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
Lunch Break
Speyer City Tour 15:00 - 17:30
Transfer
Transfer
Transfer
Visits to Local Schools and Institutions 09:00 - 12:00
Wine & Dine (Speyer Museum of Technology) 17:30 - 21:30
Thursday August 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
Grill & Chill (Halle02) 18:00 - 22:00
Heidelberg City Tour 16:30 - 17:30
Lecture: Adleman 11:30 - 12:15
Lecture: Lampson 09:45 - 10:30
Lecture: Sutherland 09:00 - 09:45
Lecture: Szemerédi 12:15 - 13:00
Lunch Break
Poster Session 15:00 - 16:00
Transfer
Transfer
Friday August 28
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 Convention Center) 18:00 - 22:00
Lecture: Naur 09:00 - 09:45
Lecture: Valiant 12:15 - 13:00
Lecture: Varadhan 11:30 - 12:15
Lecture: Yao 09:45 - 10:30
Lunch Break
Scientific Interaction I 15:00 - 16:00
Scientific Interaction II 16:30 - 17:30