======================================================================== DTP 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming SEPTEMBER 2013 Boston, Massachusetts, USA (co-located with ICFP 2013) CALL FOR PAPERS http://www.seas.upenn.edu/~sweirich/dtp13 ======================================================================== The ACM SIGPLAN Workshop on Dependently-Typed Programming 2013 will be co-located with the [2013 International Conference on Functional Programming (ICFP), in Boston, Massachusetts, USA](http://icfpconference.org/icfp2013/). The purpose of DTP is to discuss experiences with dependent types in programming and future developments for dependently-typed languages. Recent years have seen increasing overlap between the dependent type theory and functional programming languages communities. Co-locating this workshop with ICFP will promote that cross fertilization. Topics of interest include, but are not limited to: * Language Design, both in the context of possible extensions and modifications of existing languages and the development of new languages with dependent types; * Theory, such as formal treatments of semantics and type systems; * Compilation, including implementations and optimization of dependently-typed languages; * Tools, in the form of IDEs, profilers, tracers, debuggers, and testing tools; * Functional Pearls, being elegant, instructive examples of using dependent types; * Experience Reports, general practice and experience with dependently-typed languages, e.g., in an education or industry context. Workshop Format --------------- The workshop program will be composed of regular papers (formally reviewed and published by ACM, see below) and informal presentations. A separate call for informal presentations will be issued during Summer 2013. Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work. Functional Pearls and Experience reports need not necessarily report original research results; they may instead, for example, report practical experience that will be useful to others, reusable programming idioms, or elegant new ways of approaching a problem. The key criterion for such a paper is that it makes a contribution from which other programmers can benefit. It is not enough simply to describe a (dependently-typed) program! Proceedings ----------- Regular papers will appear in a formal proceedings published by ACM Press. In addition to printed proceedings, accepted papers will be included in the ACM Digital Library. Authors must abide by the [ACM policy](http://www.acm.org/news/featured/author-rights-management) for rights and permissions. Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they always retain copyright of auxiliary material. Submission Details ------------------ * Paper Submission : Thursday, 14th June 2013 anywhere on Earth * Author Notification: Thursday, 11th July 2013 * Final Papers Due : Thursday, 25th July 2013 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (9pt format, more details appear on the symposium web page). The length is restricted to 12 pages, except for "Experience Report" papers, which are restricted to 6 pages. Each paper submission must adhere to SIGPLAN's republication policy, as explained on the web. "Functional Pearls", and "Experience Reports" should be marked as such with those words in the title at time of submission. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Submission is via [EasyChair](https://www.easychair.org/conferences/?conf=dtp2013). Program Committee ----------------- * Thorsten Altenkirch, University of Nottingham * Edwin Brady, University of St. Andrews * Nils Anders Danielsson, University of Gothenburg * Ranjit Jhala, UC San Diego * Conor McBride, University of Strathclyde * Brigitte Pientka, McGill University * Tim Sheard, Portland State University * Matthieu Sozeau, INRIA Paris * Aaron Stump, University of Iowa * Nikhil Swamy, Microsoft Research * Stephanie Weirich, University of Pennsylvania (chair) History ------- This workshop follows a series of workshops on dependently-typed programming. Past meetings include [DTP 2011 in Nijmegen](http://www.cs.ru.nl/dtp11/), [DTP 2010 in Edinburgh](http://sneezy.cs.nott.ac.uk/darcs/dtp10/), and [DTP 2008 in Nottingham](http://sneezy.cs.nott.ac.uk/darcs/DTP08/), as well as seminars organized in 2011 at [Shonan Village, Japan](http://www.nii.ac.jp/shonan/seminar007/) and in 2005 at [Dagstuhl, Germany](http://drops.dagstuhl.de/opus/volltexte/2005/186/). This is the first time that DTP has co-located with ICFP and has been sponsored by SIGPLAN.