[Agda] DTP 2013 2nd Call For Papers

Stephanie Weirich sweirich at cis.upenn.edu
Thu May 16 19:38:44 CEST 2013


                               DTP 2013

           ACM SIGPLAN Workshop on Dependently-Typed Programming

                             24th SEPTEMBER 2013
                          Boston, Massachusetts, USA                    
                       (co-located with ICFP 2013)

                          2nd CALL FOR PAPERS


[NOTE: Compared to the first announcement, this CFP updates the workshop 
date, submission deadline, and also solicits informal presentations for DTP.]


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.


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!

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.

Informal Presentations

DTP also solicits informal, work-in-progress talks. Such talks will not be
accompanied by a publication in the formal proceedings. However, materials
relevant to these talks (such as draft papers) can be posted on the DTP
website. To propose a talk, send a short abstract (at most one page!) to
sweirich at cis.upenn.edu by August 16th, 2013.

Travel Support

Student attendees with accepted papers can apply for a 
[SIGPLAN PAC](http://www.sigplan.org/PAC.htm) grant
to help cover travel expenses. PAC also offers other support, such as
for child-care expenses during the meeting or for travel costs for
companions of SIGPLAN members with physical disabilities, as well as for
travel from locations outside of North America and Europe. 

Submission Details
* Paper Submission   : Friday, 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](http://www.sigplan.org/Resources/Policies/Republication).

"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)


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.

More information about the Agda mailing list