The Coq mailing list

[TYPES 2007 <types07 AT dimi.uniud.it>]

                            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 2006 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 Organizing Committee
Marino Miculan, Ivan Scagnetto, Furio Honsell.