[Agda] DTP 2013 Call for Presentations
sweirich at cis.upenn.edu
Tue Jul 16 14:23:44 CEST 2013
ACM SIGPLAN Workshop on Dependently-Typed Programming
Boston, Massachusetts, USA
(co-located with ICFP 2013)
CALL FOR INFORMAL PRESENTATIONS
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
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.
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
* Tools, in the form of IDEs, profilers, tracers, debuggers,
and testing tools;
* Functional Pearls, being elegant, instructive examples of using
* 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