From: Burkhart Wolff (email@example.com)
Date: Fri 31 Jan 2003 - 14:17:25 GMT
[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 firstname.lastname@example.org 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.