VenueOmni Hotel
Room nameHershey
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 8 Jan
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:30: Programming and Reasoning with Infinite Data in IsabelleTutorialFest at Hershey
09:00 - 10:30
Talk
TutorialFest
A: Mathias FleuryMPI-INF, A: Andreas Lochbihler, A: Andrei PopescuMiddlesex University, London
Media Attached

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: Morning Session 2NetPL at Hershey
10:30 - 11:00
Talk
NetPL
Andrey RybalchenkoMicrosoft Research
11:00 - 12:00
Other
NetPL
13:30 - 15:30: Afternoon Session 1NetPL at Hershey
14:00 - 14:30
Other
NetPL
14:30 - 15:00
Talk
NetPL
Sharon ShohamTel Aviv university
15:00 - 15:30
Talk
NetPL
Peyman KazemianForward Networks
16:00 - 18:00: Afternoon Session 2NetPL at Hershey
16:00 - 16:30
Talk
NetPL
Calin CascavalBarefoot Networks
16:30 - 17:00
Talk
NetPL
17:00 - 17:30
Other
NetPL
Nate FosterCornell University, David WalkerPrinceton University, Barath RaghavanICSI, Jonathan SmithDARPA
17:30 - 18:00
Day closing
NetPL
Marco CaniniKAUST, Nate FosterCornell University, Todd MillsteinUniversity of California, Los Angeles

Mon 8 Jan
Times are displayed in time zone: Tijuana, Baja California change

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Hershey

Mon 8 Jan
Times are displayed in time zone: Tijuana, Baja California change

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change