The Datatype-Generic Programming project at Oxford and Nottingham is hosting an informal workshop on 3rd and 4th June 2004. The scope of the workshop is the scope of the project, namely, techniques for reasoning about and implementing programs that are parametrized by a datatype. Think Algebra of Programming, PolyP, Generic Haskell, Scrap your Boilerplate, Template MetaHaskell, Dependent Types, et