PLOOC will bring together researchers from the programming languages community with instructors who have experienced teaching MOOCs. The idea is to highlight some of the pain points that could be addressed by verification and synthesis technologies, and to bring together ideas on how to address these problems. Through this site you can submit proposals for 30 minute talks discussing new work and ideas in this area. The proposal should include a brief summary of the proposed talk and any relevant references (those can be in a separate page). Proposals for accepted talks will be posted on the workshop website together with the slides for the talk.