Write a Blog >>
ECOOP 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain
VenueUniversitat Politècnica de Catalunya
Room namePLDI-E
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Thu 22 Jun

pldi-2017-workshops-and-tutorials
09:00 - 12:00: - Refinement Types for Program Verification and Synthesis at PLDI-E
pldi-2017-workshops-and-tutorials149811480000009:00 - 12:00
Other

Fri 23 Jun

pldi-2017-workshops-and-tutorials
09:00 - 18:00: - Writing Verified Programs in CakeML at PLDI-E
pldi-2017-workshops-and-tutorials149820120000009:00 - 18:00
Other
Link to publication

Sun 18 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
PLDI-E
09:00 - 18:00

Thu 22 Jun 2017

Room9:003010:003011:003012:0030
PLDI-E
09:00 - 12:00

Fri 23 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
PLDI-E
09:00 - 18:00

Thu 22 Jun 2017

Room9:0015304510:0015304511:0015304512:00153045
PLDI-E

Fri 23 Jun 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
PLDI-E