Program Overview 4th HLF 2016

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