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 [EMAIL PROTECTED] 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 ------------------------------------------------------------------------- This SF.net email is sponsored by: Splunk Inc. Still grepping through log files to find problems? Stop. Now Search log events and configuration files using AJAX and a browser. Download your FREE copy of Splunk now >> http://get.splunk.com/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
