Program Overview 4th HLF 2016

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
Saturday September 17
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
Young Researchers Registration 10:00 - 18:00
Sunday September 18
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
Monday September 19
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 City Tour 18:00 - 19:00
Lecture: Atiyah 09:45 - 10:30
Lecture: Hopcroft 09:00 - 09:45
Lecture: Rojas 12:15 - 13:00
Lindau Lecture: Schmidt 11:30 - 12:15
Lunch Break
Welcome Dinner (Convention Center Heidelberg) 19:00 - 22:00
Workshop Session I 14:30 - 16:00
Workshop Session II 16:30 - 18:00
Tuesday September 20
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 18:30 - 22:00
Coffee Break
Coffee Break
Hot Topic I 15:00 - 16:00
Hot Topic II 16:30 - 17:30
Lecture: Brooks 12:15 - 13:00
Lecture: Ngô 11:30 - 12:15
Lecture: Sifakis 09:45 - 10:30
Lecture: Wiles 09:00 - 09:45
Lunch Break
Wednesday September 21
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 - 18:00
Lunch Break
Transfer
Visits to Local Schools and Institutions 09:00 - 12:00
Thursday 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
Coffee Break
Lecture: Lamport 12:15 - 13:00
Lecture: Reddy 09:00 - 09:45
Lecture: Stearns 09:45 - 10:30
Lecture: Voevodsky 11:30 - 12:15
Lunch Break
Poster Session 14:30 - 16:30
Speyer City Tour 17:30 - 18:30
Transfer
Transfer
Wine & Dine (Speyer Museum of Technology) 18:30 - 21:30
Friday 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
Farewell Dinner (Heidelberg Castle) 18:00 - 22:00
Heidelberg Castle Tour 17:00 - 18:00
Lecture: Hironaka 11:30 - 12:15
Lecture: Hoare 09:45 - 10:30
Lecture: Liskov 09:00 - 09:45
Lecture: Tarjan 12:15 - 13:00
Lunch Break
Scientific Interaction 15:00 - 16:00
Transfer
Transfer