The Coq mailing list

[Conor McBride <ctm AT cs.nott.ac.uk>]

The deadline is approaching (Wednesday 23:59, Samoan time) - please 
register.

So far we have 57 external registrations, i.e. all your friends are going.
Consider coming as well... :-)

Cheers,
Thorsten


                 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 previous
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.

Invited Speakers are: Bart Jacobs, Simon Peyton Jones (joint with TFP)
and Hongwei Xi

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/

Please direct all emails related to TYPES 2006 to
types06 AT cs.nott.ac.uk

Cheers,

The Organisation Comittee

Thorsten Altenkirch, James Chapman, Conor McBride, Peter Morris and
Wouter Swierstra .