Sun 14 Jun 2015 14:40 - 15:20 at C120-C121 - Session3

At PLOOC 2013, we presented some technical challenges for creating a MOOC for “lab-based courses” such as those on Embedded Systems or Robotics. In this talk, we describe the progress we have made since, in teaching such a MOOC, deploying technologies for virtual lab environments, and using formal methods to design an automatic grading and feedback generation system.

Sun 14 Jun

14:00 - 15:30: PLOOC 2015 - Session3 at C120-C121
PLOOC-2015-papers14:00 - 14:40
Heather MillerEcole Polytechnique Federale de Lausanne, Philipp HallerKTH Royal Institute of Technology, Lukas RytzTypesafe, Martin OderskyEcole Polytechnique Federale de Lausanne
PLOOC-2015-papers14:40 - 15:20
Sanjit SeshiaUC Berkeley, Alexandre DonzeUniversity of California, Berkeley, Jeff JensenMomentum Machines, Garvit JuniwalUC Berkeley