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

Sun 18 Jun

ecoop-2017-Summer-School
16:30 - 18:00: - S1 at Vertex WS217
ecoop-2017-Summer-School149779620000016:30 - 18:00
Talk

Mon 19 Jun

iwaco-2017-papers
11:00 - 12:30: - Morning Session at Vertex WS217
iwaco-2017-papers149786280000011:00 - 11:30
Talk
iwaco-2017-papers149786460000011:30 - 12:00
Talk
iwaco-2017-papers149786640000012:00 - 12:30
Talk
iwaco-2017-papers
14:00 - 15:30: - Afternoon Session at Vertex WS217
iwaco-2017-papers149787360000014:00 - 14:30
Talk
iwaco-2017-papers149787540000014:30 - 15:00
Talk
iwaco-2017-papers149787720000015:00 - 15:30
Talk
iwaco-2017-papers
16:00 - 18:00: - Keynote Session at Vertex WS217
iwaco-2017-papers149788080000016:00 - 16:45
Talk

Tue 20 Jun

FTfJP-2017-papers
14:00 - 15:30: - C at Vertex WS217
Chair(s): Martin Berger
FTfJP-2017-papers149796000000014:00 - 14:20
Talk
Pre-print
FTfJP-2017-papers149796120000014:20 - 14:55
Talk
FTfJP-2017-papers149796330000014:55 - 15:30
Talk

Wed 21 Jun

pldi-2017-student-research-competition
10:20 - 12:00: PLDI Student Research Competition - SRC presentations at Vertex WS217
pldi-2017-student-research-competition149803320000010:20 - 12:00
LCTES-2017-papers
14:00 - 15:00: LCTES 2017 - Poster Session at Vertex WS217
LCTES-2017-papers149804640000014:00 - 15:00
Other

Thu 22 Jun

pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Refinement Types for Program Verification and Synthesis (cont'd) at Vertex WS217
pldi-2017-workshops-and-tutorials149812020000010:30 - 12:10
Other
Media Attached

Fri 23 Jun

pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Engineering Static Analyzers with Soufflé at Vertex WS217
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Engineering Static Analyzers with Soufflé (2) at Vertex WS217
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Engineering Static Analyzers with Soufflé (3) at Vertex WS217
pldi-2017-workshops-and-tutorials149821800000013:40 - 15:20
Other
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Engineering Static Analyzers with Soufflé (4) at Vertex WS217
pldi-2017-workshops-and-tutorials149822580000015:50 - 17:00
Other

Sun 18 Jun 2017

Room16:003017:003018:0030
Vertex WS217
16:30 - 18:00

Mon 19 Jun 2017

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

Tue 20 Jun 2017

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

Wed 21 Jun 2017

Room10:003011:003012:003013:003014:003015:0030
Vertex WS217

Sun 18 Jun 2017

Room16:0015304517:0015304518:00153045
Vertex WS217

Wed 21 Jun 2017

Thu 22 Jun 2017