Dependently Typed Programming 2011 Call for Participation 27 of August 2011 Nijmegen, The Netherland In association with ITP 2011 http://www.cs.ru.nl/dtp11 Please consider registering for DTP 2011: http://itp2011.cs.ru.nl/ITP2011/Registration_-_Open.html Note that early bird registration is only open till July 15th. The preliminary program is now available from http://www.cs.ru.nl/dtp11/program.html Invited Talk: Edwin Brady, "Systems Programming with Dependent Types" Contributed Talks: Bob Atkey, "Reifying Parametricity" Steven Keuchel, "Generic Programming with Binders and Scope" Josh Ko, "Modularising Inductive Families" Pedro Magalhaes, "Formally Comparing Approaches to Datatype-generic Programming, using Agda" Conor McBride, "Crude but Effective Stratification" Duckki Oe, "versat: A Verified Modern SAT Solver" Brigitte Pientka, "Covering all Bases: Design and Implementation of a Coverage Checker for Contextual Objects" Venanzio Capretta, "The Polymorphic Representation of Induction-recursion" Kai Trojahner, "Qube: Array Programming with Dependent Types" Cezar Ionescu, "Dependently-typed Programming in Economic Modelling" See you in Nijmegen, Ana Bove, Chalmers, Sweden Matthieu Sozeau, INRIA, France Wouter Swierstra, Radboud University, The Netherlands