Massive open online courses present a broad set of challenges ranging from automated grading and feedback, automatic problem generation, plagiarism detection, as well as new issues such as how to enhance collaboration and peer tutoring across the web. After two successful previous editions of the workshop, the workshop will continue its agenda on exploring new formal methods technologies related to specification, verification, and synthesis that can be applied to solve some of these problems in the context of MOOCS, and how these technologies can be leveraged and enhanced in the traditional classroom. We are interested in application of these technologies to a wide variety of subject domains including programming, logic, automata theory, mathematics, and science.

The workshop will bring together researchers primarily from the programming languages community as well as researchers from HCI, education technology together 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. The workshop will include 25 minute talks (20 + 5) discussing new work and ideas in this area, as well as invited talks on challenges and open problems and plenty of time for questions and discussion.

For past PLOOC workshops see:

Sun 14 Jun

11:20 - 12:30: PLOOC 2015 - Session2 at C120-C121
PLOOC-2015-papers143427420000011:30 - 12:10

Call for Papers

We are now accepting 1-page proposals for 30-minute talks presenting relevant work 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). The deadline for submissions is March 27.

Submission Link: