[Agda] DTP 2013 Call for Papers

[Stephanie Weirich]

========================================================================

                              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.