[TYPES/announce] Deadline extended for PLOOC 2015 (Co-located with PLDI 2015)

Rishabh Singh rishabh at csail.mit.edu
Mon Mar 30 13:09:39 EDT 2015


(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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150330/b9406f2b/attachment-0001.html>


More information about the Types-announce mailing list