coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Reminder: bids for TPHOLs 2005

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, mizar-forum AT mizar.uwb.edu.pl, dreamers AT dai.ed.ac.uk, lfcs-interest AT dcs.ed.ac.uk, facs-members AT lut.ac.uk, fme AT mailbase.ac.uk, fm-info AT air16.larc.nasa.gov, formal-methods AT cs.uidaho.edu, tphols2004 AT cs.utah.edu
Subject: [Coq-Club] Reminder: bids for TPHOLs 2005
Date: Fri, 23 Jan 2004 07:44:13 -0700 (MST)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

        TPHOLs 2005: SECOND CALL FOR BIDS

  Every year, the host of TPHOLs (Theorem Proving in Higher Order
Logics) is charged with organizing the selection of next year's
host. Since the University of Utah is hosting TPHOLs in 2004, we seek
bids to host TPHOLs in 2005.

  Deadline for bids is January 30, 2004.

Previous bids may be accessed through past TPHOLs webpages: please see

    http://www.cs.utah.edu/tphols2004/history.html

  TPHOLs is not usually held on the same continent two years in a
row. Hence, no bids to host TPHOLs 2005 in North America will be
accepted. TPHOLs is traditionally held in August or September.

  Bids should be sent to
tphols2004 AT cs.utah.edu
and should include at
least the following information:

   * name and email of a contact person
   * names of other people involved
   * address of website for the bid
   * dates the conference will be held
   * format of the conference
   * colocation details (if any)

Konrad Slind
TPHOLs2004 Conference Chair

[Coq-Club] Reminder: bids for TPHOLs 2005, Konrad Slind