coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] TPHOLs 2006: Election Result

From: Joe Hurd <joe.hurd AT gmail.com>
To: TPHOLs 2005 Organizers <tphols2005 AT comlab.ox.ac.uk>
Cc: Jason Hickey <jyh AT cs.caltech.edu>, Natarajan Shankar <shankar AT csl.sri.com>, Andrei Voronkov <voronkov AT cs.man.ac.uk>
Subject: [Coq-Club] TPHOLs 2006: Election Result
Date: Thu, 27 Jan 2005 12:19:54 +0000
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:cc:mime-version:content-type:content-transfer-encoding; b=TEZjrz2zifygRcMDfDdpISuTd1mBiHTWWV38i/i88wpBZOnFcsQtDDbr6FGo9od5BJB9fzi2CuqRY8uEA5vf0GbAv3qHbTrPjj+fJ5CwF+cREnFRwFBpEW7A+ifLvN8fcDzDeT+GCoXjppKwumQNGm5mvIg9aoHACJ2vjl5v0ko=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

36 votes were received, and their preferences are summarized in the
following table:

                  First choice   Second choice   Third choice
Hickey, CalTech              6               9             11
Shankar, IJCAR              21               3             11
Voronkov, FLoC               9              17              4
Total                       36              29             26

Since Shankar's bid has an overall majority of first choice votes, it
wins the election. The TPHOLs 2005 Organizing Committee are pleased to
announce that TPHOLs 2006 will merge with IJCAR 2006 in Seattle, under
the supervision of Natarajan Shankar.

[Coq-Club] TPHOLs 2006: Election Result, Joe Hurd