VenueHilton Philadelphia at Penn's Landing
Room nameDiscovery C
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 18 Jun

FMS-2018-papers
09:00 - 10:30: FMS 2018 - Morning Session I at Discovery C
FMS-2018-papers152930610000009:15 - 10:30
Talk
Andrew MyersCornell University
FMS-2018-papers
11:00 - 12:15: FMS 2018 - Morning Session II at Discovery C
FMS-2018-papers152931240000011:00 - 12:15
Talk
Nikhil SwamyMicrosoft Research
FMS-2018-papers
14:00 - 15:40: FMS 2018 - Afternoon Session I at Discovery C
FMS-2018-papers152932320000014:00 - 15:10
Talk
Andrew AppelPrinceton
FMS-2018-papers152932740000015:10 - 15:40
Research paper
FMS-2018-papers
16:10 - 17:25: FMS 2018 - Breakout sessions/Panel at Discovery C
FMS-2018-papers152933100000016:10 - 17:10
Meeting
FMS-2018-papers152933460000017:10 - 17:25
Meeting

Tue 19 Jun

pldi-2018-PLDI-Tutorials
09:00 - 10:30: PLDI Tutorials - Declarative Program Analysis with QL at Discovery C
pldi-2018-PLDI-Tutorials152939160000009:00 - 10:30
Other
pldi-2018-PLDI-Tutorials
11:00 - 12:15: PLDI Tutorials - Declarative Program Analysis with QL at Discovery C
pldi-2018-PLDI-Tutorials152939880000011:00 - 12:15
Other
pldi-2018-PLDI-Tutorials
14:00 - 15:40: PLDI Tutorials - Verified Low-Level Programming in F* at Discovery C
pldi-2018-PLDI-Tutorials152940960000014:00 - 15:40
Other
Jonathan ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n.
pldi-2018-PLDI-Tutorials
16:10 - 17:35: PLDI Tutorials - Verified Low-Level Programming in F* at Discovery C
pldi-2018-PLDI-Tutorials152941740000016:10 - 17:35
Other
Jonathan ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n.

Mon 18 Jun 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Discovery C

Tue 19 Jun 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Discovery C