POPL 2017
Sun 15 - Sat 21 January 2017

Electronic proceedings are available online (at least) for the following events, at least during the duration of the events.

Please check again for more information.

Main event:

Co-located conferences and symposium:

Co-located workshops:

  • CoqPL (files attached to events)
  • OBT (files attached to events)
  • PEPM
  • PPS (blog with abstracts and discussion)