The Coq mailing list

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

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


          ******* Call for bids to host TPHOLs 2004 *******

The organizers of TPHOLs2003 are requesting bids from the theorem
proving community to host the 17th International Conference on Theorem
Proving in Higher Order Logics, TPHOLs 2004.

Bids will be accepted for locations other than Europe. Full
bids should include proposed location, names of organizers, proposed 
dates and format, the e-mail address of a contact person, details of
any plans to co-locate TPHOLs 2004 with other conference(s), and any
other details you wish to make known to voters. The full bids for
TPHOLs 2003 can be found on the Web at: 

http://shemesh.larc.nasa.gov/tphols2002/tphols2003.html

Please send bids to 
tphols2003 AT informatik.uni-freiburg.de
 
http://tphols.informatik.uni-freiburg.de/

* All bids will be acknowledged. *

Full bids will be accepted until 21 February 2003.

No pre-bids to host TPHOLs 2004 were received.


The TPHOLs 2003 Organizing Committee.