The Coq mailing list

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

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


               LAST 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 "La Sapienza", 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 is still open until the
1. September 2003. In special cases, later registrations can still be 
processed directly at the conference counter in Rome (please inform
us before).

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)