The Coq mailing list

["Burkhart Wolff" <wolff AT informatik.uni-freiburg.de>]

      [We apologize if you receive multiple copies of this message]


                       CALL FOR PARTICIPATION: TPHOLs 2003

                 The 16th International Conference on
                Theorem Proving in Higher Order Logics

                              Rome, Italy

               Monday, September 8 through Friday, September 12, 2003

                 ************************************************
                 *   http://tphols.informatik.uni-freiburg.de/  *
                 ************************************************

The 2003 International Conference on Theorem Proving in Higher Order
Logics will be the sixteenth in a series that dates back to 1988.
The conference will be held Monday 8 September through Friday 12 September,
2003, at Universita di Roma Tre, Rome, Italy, and is co-located with
TABLEAUX2003 and CALCULEMUS2003. The first day of the conference will 
be devoted to tutorials or satellite workshops, with the remaining 4 
days covering the main conference program.

The registration service for the conference and for accomodations
is now opened. More information over the technical program, the workshops,
travel information and information over student grants is also
available on the conference web-site.


--
David Basin (ETH Zuerich)       
Burkhart Wolff (Universitaet Freiburg)