[PT] TABLEAUX call for bids

The Tableaux Steering Committee is now calling for bids to host
TABLEAUX 2013: the International Conference on Automated Reasoning
with Analytic Tableaux and Related Methods.

The deadline for submissions is Sunday April 2nd.

The bid should be submitted as a pdf file to rajeev.gore@... by
the due date above.

A bid should cover at least the following aspects:

      - contact person: name and email address
      - names of other people involved
      - experience, if any, of organising previous similar events
      - planned venue
      - approximate dates of the conference
      - plans, if any, for co-location with other meetings,
        conferences and/or workshops
      - any relevant plans for social events: excursion...
      - a list of some advantages of the proposed venue: eg, near
        transportation hub, dorms available for accommodation, strong
        local tradition in computational logic etc
      - if possible, a preliminary web page for the conference
      - a list of potential sponsors.

The Tableaux Steering Committee will decide which bid to accept and
announce a decision as soon as possible after the deadline, and
certainly by IJCAR 2012 to be held from June 26-29 2012 in Manchester
UK.