Proceedings

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:

• POPL

Co-located conferences and symposium:

• CPP
• VMCAI

Co-located workshops:

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