[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.

The TABLEAUX tradition is that the leader or leaders of the winning
bid will become the PC Chair or Co-Chairs for TABLEAUX 2013. The PC
Chair or Co-chairs will create a PC in consultation with the TABLEAUX
steering committee. The PC Chair or Co-Chairs will be expected to
negotiate with Springer about the traditional LNCS volume that is
associated with TABLEAUX, and then edit the proceedings.

More information about the TABLEAUX conference, its history and
previous locations can be found at: http://i12www.ira.uka.de/TABLEAUX/

Parties interested in preparing a bid can contact one of the
organisers of TABLEAUX 2011 (george.metcalfe@...) to ask
questions about the intricacies of organising an event such as
TABLEAUX. Feel free to also email questions to the Steering Committee
via me.

Rajeev Gore
On behalf of the TABLEAUX Steering Committee

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

--

-- 
Rajeev Gore'
Professor
Logic and Computation Group,
Research School of Computer Science
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: Rajeev.Gore@...
Web:   http://arp.anu.edu.au/~rpg
ANU CRICOS Provider Number - 00120C