All PEPM’16 research papers are now freely available from the ACM Digital Library via http://conf.researchr.org/track/POPL-2016/pepm-2016-main#Proceedings . All papers will be freely available via these links for one year after POPL’16.

All POPL’16 research papers are now freely available from the ACM Digital Library via http://conf.researchr.org/track/POPL-2016/POPL-2016-papers#Proceedings . All papers will be freely available via these links for one year after POPL’16.

The program is here!.

Over 60 students were accepted.

To allow attendees who could not book a room in the conference hotel to register at the lower rate, we are extending early registration to Jan 5, 2016. Please use this registration link: https://regmaster4.com/2016conf/POPL16/register.php

The following speakers are confirmed to speak at the workshop:

• Derek Dreyer (MPI-SWS)
• Aarti Gupta (Princeton)
• Bob Harper (CMU)
• John Hughes (Chalmers)
• Ranjit Jhala (UCSD)
• Xavier Leroy (INRIA)
• Matt Might (Utah)
• Greg Morrisett (Cornell)
• Alexandra Silva (UCL)

You can now register for VMCAI 2016 (as part of the POPL 2016 registration system) at https://regmaster4.com/2016conf/POPL16/register.php

The early registration deadline is December 18, 2015.

The program is available here.

The List of Accepted Papers is out.

The deadline for abstracts, and for full papers, has been extended by a week (to September 18 and 27 respectively).

You can now register for POPL 2016 and its associated conferences, workshops and tutorials via the following link https://regmaster4.com/2016conf/POPL16/register.php

The early registration deadline (lower registration fees) is December 18, 2015.