coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Reminder : Early Registration Deadline

From: Konrad Slind <slind AT cs.utah.edu>
To: 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
Cc: tphols2004 AT cs.utah.edu
Subject: [Coq-Club] Reminder : Early Registration Deadline
Date: Tue, 10 Aug 2004 17:07:40 -0600
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

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

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

                           Park City, Utah

              Tuesday 14 September - Friday 17 September 2004

              ***********************************************
              *     http://www.cs.utah.edu/tphols2004/      *
              ***********************************************

Just a reminder that the TPHOLs early registration deadline is August 20, 2004. More temporally pertinent is that the hotel rate (and availability) is only guaranteed until this Friday, August 13. Please
register for the hotel soon!

Konrad Slind (TPHOLs 2004 General Chair)

[Coq-Club] Reminder : Early Registration Deadline, Konrad Slind