[Agda] DTP 2013 Call for Presentations

Stephanie Weirich sweirich at cis.upenn.edu
Tue Jul 16 14:23:44 CEST 2013


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

                               DTP 2013

           ACM SIGPLAN Workshop on Dependently-Typed Programming

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

                     CALL FOR INFORMAL PRESENTATIONS

             http://www.seas.upenn.edu/~sweirich/dtp13
====================================================================

We are pleased to invite informal presentations for DTP 2013. 

To propose a talk, send a short abstract (at most one page!) to
sweirich at cis.upenn.edu by August 16th, 2013. 

Presentations will be judged on relevance to the workshop, and accepted on a
rolling basis.

These talks should describe work-in-progress of any sort related to
dependently-typed programming. They will not be accompanied by a publication,
nor will they be reviewed. However, materials relevant to these talks (such as
draft papers, examples, and slides) can be posted on the DTP website at the
author's request. Talks about papers currently in submission are welcome.


Workshop Overview
-----------------

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.

The workshop program will be composed of regular papers (formally reviewed and
published by ACM) and informal presentations.



More information about the Agda mailing list