[Agda] 2nd CFP: Dependently Typed Programming 2014

[Edwin Brady]

[Apologies if you receive this more than once!]

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

                             DTP 2014

               Workshop on Dependently-Typed Programming
                    13th July 2014, Vienna, Austria 
                    (co-located with CSL-LICS 2014)

                      2nd CALL FOR PRESENTATIONS

            http://eb.host.cs.st-andrews.ac.uk/DTP2014
====================================================================

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

Dependently typed programming is here today: where will it go tomorrow? On the
one hand, dependent type theories have grown programming languages; on the
other hand, the type systems of programming languages like Haskell and Scala
are incorporating some kinds of type-level data.

The purpose of this workshop is to discuss experiences with dependent types in
programming and future developments for dependently-typed languages.  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 will consist of invited speakers (details TBA) and contributed
talks. Talks will be selected according to relevance to the workshop, based
on submission of an extended abstract.

Submission Details
------------------

* Abstract Submission : Friday, 2nd May 2014 
* Author Notification : Friday, 9th May 2014
* Workshop            : Sunday, 13th July 2014

Submissions should be an extended abstract of 1--2 pages in portable document
format (PDF). Submission is via EasyChair:

https://www.easychair.org/conferences/?conf=dtp14

After the workshop, we plan to invite authors to submit full papers for
publication, details TBA.

Program Committee
-----------------

Andreas Abel (Chalmers and Gothenburg University, Sweden)
Amal Ahmed (Northeastern University, USA)
Nicola Botta (Postdam Institute for Climate Impact Research, Germany)
Edwin Brady (University of St Andrews, UK, Chair)
David Christiansen (IT University of Copenhagen, Denmark)
Adam Gundry (Well-Typed LLP)
Dan Licata (Wesleyan University, USA)
Shin-Cheng Mu (Academia Sinica, Taiwan)
Hongwei Xi (Boston University, USA)

History
-------

This workshop follows a series of workshops on dependently-typed programming.
Past meetings include [DTP 2013 in
Boston](http://www.seas.upenn.edu/~sweirich/dtp13/), [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 2004 at [Dagstuhl,
Germany](http://drops.dagstuhl.de/opus/volltexte/2005/186/).