Register for VMCAI 2016 (through the POPL registration system) at https://regmaster4.com/2016conf/POPL16/register.php.