[PT] request to post a message

Hi Paola,

please could you send this to the pt mailing list.

best wishes,
raj

Subject: Call for nominations for election to TABLEAUX Steering Committee

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

[Apologies if you receive this multiple times]

  The Steering Committee of the International Conference on Automated
  Reasoning with Analytic Tableaux and Related Methods currently has
  three elected members whose terms expire in 2010:

    * Marta Cialdea Mayer (Universita degli studi Roma Tre)
    * Chris Fermueller (TU Vienna)
    * Nicola Olivetti (Universite Paul Cezanne, Marseille)

  The ex-officio membership of Arild Waaler (University of Oslo) as
  Co-chair of Tableaux 2009 ends in 2010. Arild will be replaced by
  one of the Co-Chairs of TABLEAUX 2011 (TBA).

  The Steering Committee is therefore calling for nominations of
  candidates who wish to contest an election for three positions which
  will be held in late October 2010. Voting will be via mail, fax or
  email using a single transferable voting system. Eligible voters are
  those who are deemed to be members of the Tableaux community as
  defined below.

  The Tableaux community consists of all people who have been
  registered participants in at least one of the 3 most recent
  Tableaux Conferences including IJCAR (i.e. IJCAR 2008, TABLEAUX 2009
  and IJCAR 2010) and all members of the current Program Committee
  (i.e Tableaux 2011 PC). Only members of the tableaux community may
  act as nominators.

  To nominate please send an email to [email protected]
  containing:

  - the name of the principal nominator and the reason why this
    nominator is a member of the tableaux community;

  - the name of the candidate who has already agreed to be nominated;

  - the name of the second nominator and the reason why this seconder
    is a member of the tableaux community;

  - a statement from the candidate which we can put on
       http://i12www.ira.uka.de/TABLEAUX/

  - a person may nominate or second only one candidate;

  Closing date for nominations is October 22nd 2010.

  The current Steering Committee rules can be found at:

       http://i12www.ira.uka.de/TABLEAUX/

raj
(on behalf of the steering committee)

-- 
Rajeev Gore'             
Senior Fellow
Logic and Computation Group, 
Computer Sciences Laboratory,
ANU College of Engineering and Computer Science
The Australian National University
Canberra ACT 0200
Tel:   +61-2-61 25 86 03 
Fax:   +61-2-61 25 86 51  
Email: [email protected]
Web:   http://arp.anu.edu.au/~rpg
ANU CRICOS Provider Number - 00120C

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++