==================================================================== 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@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.