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: ECOOP Summer School - S1 at Vertex WS217
ecoop-2017-Summer-School149779620000016:30 - 18:00
Talk

Mon 19 Jun

iwaco-2017-papers
11:00 - 12:30: IWACO 2017 - 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: IWACO 2017 - Afternoon Session at Vertex WS217
iwaco-2017-papers149787360000014:00 - 14:30
Talk
iwaco-2017-papers149787540000014:30 - 15:00
Talk
File Attached
iwaco-2017-papers149787720000015:00 - 15:30
Talk
File Attached
iwaco-2017-papers
16:00 - 18:00: IWACO 2017 - Keynote Session at Vertex WS217
iwaco-2017-papers149788080000016:00 - 16:45
Talk

Tue 20 Jun

FTfJP-2017-papers
14:00 - 15:30: FTfJP 2017 - 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: - SRC presentations at Vertex WS217
pldi-2017-student-research-competition149803320000010:20 - 12:00
LCTES-2017-papers
14:00 - 15:00: - Poster Session at Vertex WS217
LCTES-2017-papers149804640000014:00 - 15:00
Other

Thu 22 Jun

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

Fri 23 Jun

pldi-2017-workshops-and-tutorials
09:00 - 10:00: - 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: - 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: - 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: - 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

Mon 19 Jun 2017

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

IWACO 2017

09:00 - 10:30

Tue 20 Jun 2017

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

FTfJP 2017

A
09:00 - 10:30

FTfJP 2017

B
11:00 - 12:30

FTfJP 2017

C
14:00 - 15:30

FTfJP 2017

D
16:00 - 18:00

Wed 21 Jun 2017

Room10:003011:003012:003013:003014:003015:0030
Vertex WS217
10:20 - 12:00
14:00 - 15:00

Thu 22 Jun 2017

Room10:003011:003012:0030
Vertex WS217
10:30 - 12:10

Fri 23 Jun 2017

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

Sun 18 Jun 2017

Room16:0015304517:0015304518:00153045
Vertex WS217

Wed 21 Jun 2017

Thu 22 Jun 2017