Call for Bids TPHOLs 2004



Date view Thread view Subject view Author view Attachment view

From: Burkhart Wolff (wolff@informatik.uni-freiburg.de)
Date: Fri 21 Feb 2003 - 14:04:35 GMT


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


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

                  DEADLINE EXTENSION 7.3.2003

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@informatik.uni-freiburg.de 
http://tphols.informatik.uni-freiburg.de/

* All bids will be acknowledged. *

Full bids will be accepted until 7 March 2003.

No pre-bids to host TPHOLs 2004 were received.


The TPHOLs 2003 Organizing Committee.

Date view Thread view Subject view Author view Attachment view