Registration for TYPES 2006 is now open. Early registration until 15/3/2006. Cheers, The TYPES06 Team -------------------------------------------------------------------------- TYPES 2006 Main Conference of the Types Project Nottingham, UK, 18-21 April 2006 http://www.cs.nott.ac.uk/types06/ This is the latest meeting in a series that started 1992, the last conference was in December 2004 in Paris. The topic of the meeting is formal reasoning and computer programming based on Type Theory : languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education. TYPES 2006 is colocated with TFP 2006 (Trends in Functional Programming) and we plan to hold a joint session on Dependently Typed Programming. The conference takes place at Jubilee campus of the University of Nottingham, on-site accomodation will be available together with the registration. For more information see: http://www.cs.nott.ac.uk/types06/ Registration is open now. You will be able to submit your talk and abstract together with your registration. We will try to accomodate all talks which fit into the scope of the TYPES project. There will also be invited lectures from Bart Jacobs, Simon Peyton Jones (joint with TFP) and Hongwei Xi. Please direct all emails related to TYPES 2006 to types06@cs.nott.ac.uk Cheers, The Organisation Comittee Thorsten Altenkirch, James Chapman, Conor McBride, Peter Morris and Wouter Swierstra .