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