[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