[TYPES] TYPES 2006 workshop
Thorsten Altenkirch
txa at cs.nott.ac.uk
Mon Nov 7 04:49:11 EST 2005
TYPES 2006
Main Conference of the Types Project
Nottingham, UK, 18-24 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/
We will open registration early next year. 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.
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 Swiestra .
--
Dr. Thorsten Altenkirch phone : (+44) (0)115 84 66516
Lecturer http://www.cs.nott.ac.uk/~txa/
School of Computer Science & IT University of Nottingham
This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.
More information about the Types-list
mailing list