CPP 2017
Wed 18 - Fri 20 January 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)