Registration URL

Please register for the workshop through the POPL Registration URL.