Zhoulai Fu (Uni. of California, Davis) visiting schedule

Thursday, April 27, 2017:

Time
Activity
Location
09:30 - 10:00
Welcome to ITU (Claus Brabrand)
Information
(Reception)
10:00 - 11:00
Meeting
5C06
11:00 - 12:00
Tour of ITU (Claus Brabrand)
ITU
12:00 - 13:00
Lunch (Claus Brabrand and Andrzej Wąsowski)
4D corridor
13:00 - 14:00
Zhoulai Fu's talk: "Reasoning about programs with Mathematical Execution"
3A08
14:00 - 15:00
Andrzej Wąsowski and Claus Brabrand
4D05
15:00 - 16:00
Yvonne Dittrich
4D10

Friday, April 28, 2017:

Time
Activity
Location
10:00 - 10:45
Ahmad Salim Al-Sibahi
4D04
10:45 - 11:15
Jean Melo
4D07
11:15 - 12:00
Jesper Bengtson
4C10
12:00 - 13:00
Lunch (<<available slot>>)
Eat IT
13:00 - 14:00
BLOCKED
--
14:00 - 15:00
Philippe Bonnet
4D23
15:00 - 16:00
A beer/softdrink in ITU's Friday bar?
Scrool Bar