Write a Blog >>
VenueUniversitat Politècnica de Catalunya
Room nameVertex WS215
Floor0
Room number215
Capacity20
Additional informationThere is no additional information of this room available.
Program

Sun 18 Jun

pldi-2017-workshops-and-tutorials
08:30 - 10:30: PLDI Tutorials - P4: Programming the Network Data Plane at Vertex WS215
pldi-2017-workshops-and-tutorials149776740000008:30 - 10:30
Other
pldi-2017-workshops-and-tutorials
11:00 - 12:30: PLDI Tutorials - P4: Programming the Network Data Plane (cont'd) at Vertex WS215
pldi-2017-workshops-and-tutorials149777640000011:00 - 12:30
Other
pldi-2017-workshops-and-tutorials
14:00 - 15:30: PLDI Tutorials - Bug detection in JavaScript web apps using the SAFE framework at Vertex WS215
pldi-2017-workshops-and-tutorials149778720000014:00 - 15:30
Other
pldi-2017-workshops-and-tutorials
16:00 - 18:00: PLDI Tutorials - Bug detection in JavaScript web apps using the SAFE framework (cont'd) at Vertex WS215
pldi-2017-workshops-and-tutorials149779440000016:00 - 18:00
Other

Thu 22 Jun

pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Refinement Types for Program Verification and Synthesis at Vertex WS215
pldi-2017-workshops-and-tutorials149811480000009:00 - 10:00
Other
Media Attached
ic-2017-papers
10:30 - 12:10: IC 2017 - Incremental computing 1: Keynote + Research talk at Vertex WS215
ic-2017-papers149812020000010:30 - 11:40
Talk
ic-2017-papers149812440000011:40 - 12:10
Talk
File Attached
ic-2017-papers
13:40 - 15:20: IC 2017 - Incremental computing 2: Research talks at Vertex WS215
ic-2017-papers149813160000013:40 - 14:10
Talk
File Attached
ic-2017-papers149813370000014:15 - 14:45
Talk
File Attached
ic-2017-papers149813580000014:50 - 15:20
Talk
File Attached
ic-2017-papers
15:50 - 17:30: IC 2017 - Incremental computing 3: Research talks at Vertex WS215
ic-2017-papers149813940000015:50 - 16:20
Talk
File Attached
ic-2017-papers149814150000016:25 - 16:55
Talk
File Attached
ic-2017-papers149814360000017:00 - 17:30
Talk
File Attached