[TYPES/announce] Call for papers: OBT 2015

Swarat Chaudhuri swarat at rice.edu
Tue Sep 23 17:13:31 EDT 2014


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


More information about the Types-announce mailing list