[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Off the Beaten Track 2015 ============================ http://obt15.rice.edu/ January 18, 2015 (Co-located With POPL 2015, Mumbai, India) Important Dates --------------- * Paper Submission : Friday, November 7, 2014 * Notification : Friday, November 21, 2014 * Event : Sunday, January 18, 2015 Background ------------- Programming language researchers have the principles, tools, algorithms and abstractions to solve a wide variety of problems, in application areas ranging from other subfields of computer science, the natural sciences, the social sciences, and the humanities. However, identifying and evaluating new problems, particularly those that lie outside the typical core PL problems we all know and love, can be a significant challenge. Hence, the goal of this workshop is to identify and discuss problems that do not often show up in our top conferences, but where programming language researchers can make a substantial impact. We hope fora like this will increase the diversity of problems that are studied by PL researchers and thus increase our community's impact on the world. While many workshops associated with POPL have become more like mini-conferences themselves, this is not the goal for OBT. The workshop will be informal and structured to encourage discussion. We are at least as interested in problems as in solutions. Scope ---------- A good submission is one that outlines a new problem or an interesting, underrepresented problem domain. Good submissions may also remind the PL community of problems that were once in vogue but have not recently been seen in top PL conferences. Good submissions do not need to propose complete or even partial solutions, though there should be some reason to believe that programming languages researchers have the tools necessary to search for solutions in the area at hand. Submissions that seem likely to stimulate discussion about the direction of programming language research are encouraged. Use your imagination. It's hard to imagine how a paper that discusses programming languages could be considered out-of-scope. If in doubt, ask the program chair. Submission ---------- Submit Here: https://www.easychair.org/conferences/?conf=obt2015 Submissions are restricted to two pages or less in at least 10pt font, printable on US Letter paper. Submissions are required to be in PDF format. Authors are free to include links to multimedia content. Reviewers are not required to peruse these—authors, persuade them to take a look! For each accepted submission, we will have a talk at the workshop given by one of the authors. The length of the talk will depend on the submissions received and how the program committee decides to assemble the program. Reviewing of submissions will be very light. Authors should not expect a detailed analysis of their submission by the program committee. Accepted submissions will be posted as is on this web site. By submitting a document, you agree that if it is accepted, it may be posted and you agree that one of the co-authors will attend the workshop and give a talk there. There will be no revision process and no formal publication. Organizers ---------- **Program Chair** Swarat Chaudhuri, Rice University **Program Committee** Emery Berger, UMass Amherst Sumit Gulwani, Microsoft Research Lindsey Kuper, Intel Labs Cristina Videira Lopes, UC Irvine Aditya Nori, Microsoft Research Armando Solar-Lezama, MIT David Van Horn, University of Maryland, College Park