Write a Blog >>
PPS 2017
Tue 17 Jan 2017
co-located with POPL 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)