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

Sun 18 Jun

mapl-2017-papers
09:15 - 09:30: - Opening at Vertex WS219
mapl-2017-papers149777010000009:15 - 09:30
Day opening
mapl-2017-papers
09:30 - 10:30: - Keynote at Vertex WS219
mapl-2017-papers149777100000009:30 - 10:30
Talk
mapl-2017-papers
12:00 - 12:30: - Debugging, Analysis, and Verification at Vertex WS219
mapl-2017-papers149778000000012:00 - 12:30
Talk
mapl-2017-papers
14:00 - 15:30: - Debugging, Analysis, and Verification 2 at Vertex WS219
mapl-2017-papers149778720000014:00 - 14:30
Talk
mapl-2017-papers149778900000014:30 - 15:00
Talk
mapl-2017-papers149779080000015:00 - 15:30
Talk
mapl-2017-papers
16:00 - 16:45: - Town Hall Discussion at Vertex WS219
mapl-2017-papers149779440000016:00 - 16:45
Other
mapl-2017-papers
16:45 - 17:00: - Closing at Vertex WS219
mapl-2017-papers149779710000016:45 - 17:00
Day closing

Mon 19 Jun

debs-2017-Workshop
09:00 - 10:30: - Events Meet Processes at Vertex WS219
debs-2017-Workshop149785560000009:00 - 10:30
debs-2017-Workshop
11:00 - 12:30: - Events Meet Processes at Vertex WS219
debs-2017-Workshop149786280000011:00 - 12:30
debs-2017-Doctoral-Symposium
14:00 - 15:30: - Doctoral Symposium at Vertex WS219
debs-2017-Doctoral-Symposium149787360000014:00 - 14:20
Talk
debs-2017-Doctoral-Symposium149787480000014:20 - 14:40
Talk
debs-2017-Doctoral-Symposium149787600000014:40 - 15:00
Talk
debs-2017-Doctoral-Symposium149787720000015:00 - 15:20
Talk
debs-2017-Doctoral-Symposium
16:00 - 17:30: - Doctoral Symposium at Vertex WS219
debs-2017-Doctoral-Symposium149788080000016:00 - 16:20
Talk
debs-2017-Doctoral-Symposium149788200000016:20 - 16:40
Talk
debs-2017-Doctoral-Symposium149788320000016:40 - 17:00
Talk
debs-2017-Doctoral-Symposium149788440000017:00 - 17:20
Talk

Thu 22 Jun

pldi-2017-workshops-and-tutorials
09:00 - 10:00: - Building your own modular static analyzer with Facebook Infer at Vertex WS219
pldi-2017-workshops-and-tutorials149811480000009:00 - 10:00
Other
pldi-2017-workshops-and-tutorials
10:30 - 12:10: - Building your own modular static analyzer with Facebook Infer (cont'd) at Vertex WS219
pldi-2017-workshops-and-tutorials149812020000010:30 - 12:10
Other
pldi-2017-workshops-and-tutorials
13:40 - 15:20: - Polyhedral Compilation at Vertex WS219
pldi-2017-workshops-and-tutorials149813160000013:40 - 15:20
Other
pldi-2017-workshops-and-tutorials
15:50 - 17:00: - Polyhedral Compilation (cont'd) at Vertex WS219
pldi-2017-workshops-and-tutorials149813940000015:50 - 17:00
Other

Fri 23 Jun

pldi-2017-workshops-and-tutorials
09:00 - 10:00: - Writing Verified Programs in CakeML at Vertex WS219
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
Link to publication
pldi-2017-workshops-and-tutorials
10:30 - 12:10: - Writing Verified Programs in CakeML (2) at Vertex WS219
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
Link to publication
pldi-2017-workshops-and-tutorials
13:40 - 15:20: - Writing Verified Programs in CakeML (3) at Vertex WS219
pldi-2017-workshops-and-tutorials149821800000013:40 - 15:20
Other
Link to publication
pldi-2017-workshops-and-tutorials
15:50 - 17:00: - Writing Verified Programs in CakeML (4) at Vertex WS219
pldi-2017-workshops-and-tutorials149822580000015:50 - 17:00
Other
Link to publication

Sun 18 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Vertex WS219
09:15 - 09:30
09:30 - 10:30
11:00 - 12:00
12:00 - 12:30
14:00 - 15:30
16:00 - 16:45
16:45 - 17:00

Mon 19 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Vertex WS219
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 17:30

Thu 22 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Vertex WS219
09:00 - 10:00
10:30 - 12:10
13:40 - 15:20
15:50 - 17:00

Fri 23 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Vertex WS219
09:00 - 10:00
10:30 - 12:10
13:40 - 15:20
15:50 - 17:00

Fri 23 Jun 2017