TPHOLs 2002
Host Selection Process

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


Two offers to host TPHOLs 2002 were received:

The voting to choose between the two bids closed on 16th February 2001 and the results were as follows:

 VirginiaHong Kong
First preference votes 4536
Second preference votes 1721

Some voters did not express a second preference.

Since the Virginia group received an overall majority of first preference votes, they are the winners.


A summary of the original bids is given below.

Virginia, U.S.A

Location: Radisson Hotel, Hampton, Virginia, U.S.A.
Dates: 19-23 August 2002
Monday 19 Tutorials
Tuesday 20 First day with evening reception at Virginia Air and Space museum
Wednesday 21 Second day
Thursday 22 Third day with afternoon excursion to Colonial Williamsburg
Friday 23 Last day and business meeting
Conference Chair: Victor Carreño (NASA Langley Research Center, U.S.A.)
Programme Co-chair: César Muñoz (ICASE, U.S.A.)
Programme Co-chair: Sofiène Tahar (Concordia University, Canada)
Local Arrangements: NASA-ICASE Formal Methods group
Summary: We plan to use the same format as previous TPHOLs conferences with Category A full research refereed papers and Category B work in progress reports. We will seek publication of Category A papers in LNCS. Category B papers will be published in a NASA Technical Report.

We will also seek sponsors and grants from external organizations for student bursaries.

Web site:

Hong Kong, China

Location: Lam Woo International Conference Centre, Hong Kong Baptist University, Hong Kong, China
Dates: Last week of August 2002
Format: Three to four days with a workshop on a related theme held at UNU/IIST in Macau immediately before or after the conference.
Sara Kalvala (University of Warwick, U.K.)
John Harrison (Intel Corporation, U.S.A.)
Wai Wong (Hong Kong Baptist University, China, and UNU/IIST, Macau)
Summary: Following the tradition of TPHOLs, we will include in the conference a forum for presenting work-in-progress in the form of short presentations plus posters.

As in previous years, we will publish the proceedings as a volume of Springer's Lecture Notes in Computer Science. The proceedings will be prepared in time for the conference.

We will do our best to keep the cost of attending the conference low. Thanks to the extensive flight network and very wide range of accommodation, cheap flights and cheap room rate will not be too difficult to find. On the other hand, we will actively seek sponsors, especially for students, as soon as we are given the honour to host the conference.

Web site: