[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
No Subject
Fcc: +inbox
Subject: TPHOLs in 2000 - Call for votes
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
--------
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
Site:Montreal, Quebec
Committee:
Sofiene Tahar, Concordia University
Paul E. Black, NIST
Dr. Shiu-Kai Chin, Syracuse University
URL:http://lal.cs.byu.edu/tpHOL2000/
Usa
Site:Portland, Oregon
Committee:
Mark Aagaard (Intel)
John Harrison (Intel)
Kelly Atkinson (OGI)
Robert Beers (Intel)
Nancy Day (OGI)
Naren Narasimhan (Intel)
Tom Schubert (Intel)
URL:http://www.cse.ogi.edu/~aagaard/tphols/
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)
Ps: A copy of the annoucement is available at: http://www-sop.inria.fr/croap/TPHOLs2000