[TYPES/announce] TYPES 2007 Announce

[Marino Miculan]

			    TYPES 2007

		Main Conference of the Types Project
		   Cividale, Italy, May 2-5, 2007

		  http://www.dimi.uniud.it/types07/


This is the latest meeting in a series that started 1992, the
last conference was in April 2005 in Nottingham.

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.

The conference is organized by the Department of Mathematics and
Computer Science of the University of Udine, and takes place in
Cividale del Friuli, a medieval town near Udine, Italy.

For more information and registration, see:

     http://www.dimi.uniud.it/types07/

Early registration deadline is *** March 31, 2007 ***.  At the
registration you will be able to propose your talk and abstract.  We
will try to accomodate as much as possible the talks which fit into
the scope of the TYPES project. There will also be invited lectures.

A number of block reservations for the participants of TYPES 2007 have
been made at some hotels in Cividale. However, most are only held
until *** February 28, 2007 *** (and some until the early registration
deadline), so it is highly advisable to make your reservation as soon as
possible.  See site for details.

Please direct all emails related to TYPES 2007 to
types07 at dimi.uniud.it

The Organisation Comittee
Marino Miculan, Ivan Scagnetto, Furio Honsell.