Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 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)