[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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/).