[Agda] Call for participation: DTP 2011

Wouter Swierstra w.swierstra at cs.ru.nl
Fri Jul 8 15:02:48 CEST 2011


           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


More information about the Agda mailing list