coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Konrad Slind <slind AT cs.utah.edu>
To: Konrad Slind <slind AT cs.utah.edu>
Cc: hvg AT cl.cam.ac.uk, coq-club AT pauillac.inria.fr, isabelle-users AT cl.cam.ac.uk, hol-info AT lists.sourceforge.net, lego-club AT dcs.ed.ac.uk, metaprl AT metaprl.org, nuprllist AT cs.cornell.edu, pvs AT csl.sri.com, acl2 AT lists.cc.utexas.edu, mizar-forum AT mizar.uwb.edu.pl, dreamers AT dai.ed.ac.uk, lfcs-interest AT dcs.ed.ac.uk
Subject: [Coq-Club] Re: Call for bids: TPHOLs 2005
Date: Tue, 09 Mar 2004 17:21:06 -0700
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Congratulations to Oxford for having the sole, and therefore winning,
proposal to host TPHOLs in 2005.

http://users.comlab.ox.ac.uk/joe.hurd/TPHOLs2005/bid.html

Konrad.