[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
(Submission deadline extended to April 10, 2015)
We are looking forward for your 1-page talk abstracts!
===============================================================
PLOOC 2015 - Call for Talk Proposals
3rd Workshop on Programming Languages Technology for Massive Open Online
Courses
PLOOC 2015
Portland, OR, USA, June 14, 2015
Co-Located with PLDI 2015
http://conf.researchr.org/track/pldi2015/PLOOC-2015-papers
===============================================================
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.
We are now accepting proposals for 30-minute talks presenting relevant work
in
this area. The proposal should include a brief summary of the proposed talk
(1-page) and
any relevant references (those can be in a separate page). The deadline for
submissions is March 27.
-----------------------------------------------------------------
Important dates:
Talk proposal submission: April 10, 2015
Notification of Acceptance/Rejection: April 24, 2015
Workshop: June 14, 2015
----------------------------------------------------------------------
Submission Link:
https://easychair.org/conferences/?conf=plooc2015
-----------------------------------------------------------------
Program Committee:
Loris D'Antoni, University of Pennsylvania
Sumit Gulwani, Microsoft Research
Philip Guo, University of Rochester
Amey Karkare, IIT Kanpur
Alessandro Orso, Georgia Tech
Rishabh Singh, Microsoft Research (co-chair)
Armando Solar-Lezama, MIT (co-chair)
William Thies, Microsoft Research
Martin Vechev, ETH Zurich
Tao Xie, UIUC
Florian Zuleger, TU Wien
----------------------------------------------------------------------
For more information, including submission instructions, visit the workshop
page:
http://conf.researchr.org/track/pldi2015/PLOOC-2015-papers
Best regards,
Rishabh Singh and Armando Solar-Lezama
