TPHOLs'2000

Bid Information



Result (September 7th):

We are happy to announce that TPHOLs2000 wil be set at Portland, Oregon.

Here are the results of the votes
Number of votes 74
Portland 46
Montreal 27
Null 1

Closing date for votes (September 5th):

Number of votes : 74

Call for votes (August 12th):

As it is the tradition, we solicit the votes from the user-communities for the major higher order logic theorem provers - Coq, Isabelle, HOL, Lego, Nuprl and PVS to select the venue of TPHOLs'2000. Anyone who is seriously contemplating attending TPHOLs'2000 is invited to vote. Votes are now being accepted and will be until September 5. The winner should be announced by September 8.

We are happy to announce that two groups in North America have proposed to organize TPHOLs'2000. Please read their proposals before you vote, to get the best idea of what they plan.

Canada

Usa

To register a vote, all that is required is an email message with the header starting 
	To: TPHOLs2000@sophia.inria.fr
	Subject: Vote
indicating the preferred site.

The Organizing Committee, TPHOLs'99 (TPHOLs99@sophia.inria.fr)

Bids (August 4th)

We are happy to announce that two groups in North America have proposed to organize TPHOLs2000. Please read their proposals before you vote, to get the best idea of what they plan.

Canada

Usa

Initial Post (July 1st)


The organizing committee of TPHOLs'99 will manage a poll of the community to select the venue for TPHOLs'2000. A longstanding convention is that the annual conference should be held in acontinent different to the location of the previous meeting.This means that TPHOLs'2000 should be held outside Europe. Also, at TPHOLs'98 some people mentioned the possibility to regroup TPHOLs'2000 with other events among which FTP (First-order theorem proving) and CADE (Conference on Automated Deduction). Sites interested by such a possibility should get in touch with:

  FTP: Paola Bonacina (bonacina@cs.uiowa.edu).

  CADE: Frank Pfenning  (fp@cs.cmu.edu).

Note that this idea is controversial in the community, so the fact that we mention it should not be taken as a recommendation.

We encourage sites willing to organize TPHOLs'2000 to send to TPHOLs99@sophia.inria.fr a two-page presentation of their  bid where they summarize  the main information. Examples of last year bids can be found at

  http://www.inria.fr/croap/TPHOLs99/bids99html..

We will accept proposals till August 1.

We will then solicit votes from the user-communities for the major higher order logic theorem provers - Coq, Isabelle, HOL, Lego, Nuprl and PVS. We will collect votes over the 3 week period fron August 16 to September 5. The winner should be announced on September  8.

 We will maintain a web page containing the lastest information at
 
  http://www.inria.fr/croap/TPHOLs2000.html.
 
 

The TPHOLs'99 Organizing Commitee