Email Gateway (Aug 18 2022 at 10:56): Email Gateway (Aug 18 2022 at 10:56):From: Laurent Théry <Laurent.Thery@sophia.inria.fr>
TPHOLs 2010: Call for Votes
It is a long-standing custom that the host for Theorem Proving in Higher
Order Logics (TPHOLs) is determined by a vote of the TPHOLs community. This
email is about TPHOLs in 2010. It is necessary to hold this vote now
(before
the host for 2009 has been determined) because one option is to join FLoC
(Federated Logic Conference) 2010, which requires longer-term planning. At
TPHOLs 2007 in Kaiserslautern, a Steering Committee (SC) was formed (see
below) and it is this SC who is holding this vote. The SC proposes 3
alternatives for organizing TPHOLs 2010:
A) TPHOLs merges with the normally standalone conferences
CADE, FroCoS, FTP and TABLEAUX to create IJCAR,
a sub-conferences of FLoC 2010. The arrangement would be similar to
IJCAR 2006: http://www.easychair.org/FLoC-06/IJCAR.html.
Characteristics: 1 joint PC, 1 joint proceedings.
The details would be negotiated by the TPHOLs SC.
B) TPHOLs merges one time with the ACL2 Workshop to become
a sub-conference of FLoC 2010. For past ACL2 workshops see
http://www.cs.utexas.edu/users/moore/acl2/workshops.html.
Characteristics: 1 joint PC, 1 joint proceedings.
The details would be negotiated by the TPHOLs SC.
C) TPHOLs remains separate, does not participate in FLoC, and is
organized in
the traditional manner by a call for hosts and a vote in 2008/09.
FLoC will take place in Edinburgh. The other FLoC sub-conferences will be
CAV, IJCAR, LICS, RTA, SAT, ICLP.
Anyone who is seriously considering attending TPHOLs 2010 is entitled to
vote. The voting procedure employed will be Single Transferable Vote
http://en.wikipedia.org/wiki/Single_transferable_vote.
To vote please send an email to tphols2010@lists-sop.inria.fr in the
following format:
First choice for TPHOLs 2010
Second choice for TPHOLs 2010
Third choice for TPHOLs 2010
Your Name
Each choice should be one of A, B, C. It is possible to omit the second
and
third choices to indicate no preference. Including your name is for the
sole
purpose of preventing ballot stuffing: all votes will remain secret. The
deadline for voting is 11/11/07.
The TPHOLs SC
Mike Gordon
John Harrison
Matt Kaufmann
John Matthews
Tobias Nipkow
Michael Norrish
Lawrence Paulson
Klaus Schneider
Sofiène Tahar
Laurent Théry
Last updated: Nov 21 2024 at 12:39 UTC