Logic List Mailing Archive

CfPart: TABLEUX 2009

6-10 July 2009
Oslo, Norway

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
             %%                                            %%
             %%          Call for Participation            %%
             %%                                            %%
             %%               TABLEAUX 2009                %%
             %%                                            %%
             %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

                         International Conference
                              TABLEAUX 2009

                         Automated Reasoning with
                  Analytic Tableaux and Related Methods

                               Oslo, Norway
                              6-10 July 2009

                     http://tableaux09.ifi.uio.no/


                *** EARLY REGISTRATION UNTIL 7 JUNE! ***


GENERAL INFORMATION

    This conference is the 18th in a series of international meetings on
    Automated Reasoning with Analytic Tableaux and Related Methods.

    Tableaux 2009 will be held in Oslo, Norway, collocated with FTP
    2009, the workshop on First-Order Theorem Proving, see
    http://www.mpi-inf.mpg.de/~sofronie/ftp09/

    See the website for registration instructions.  Early registration
    is open until Sunday, 7 June.


TOPICS

    Tableau methods are a convenient formalism for automating deduction
    in various non-standard logics as well as in classical logic. Areas
    of application include verification of software and computer
    systems, deductive databases, knowledge representation and its
    required inference engines, and system diagnosis. The conference
    brings together researchers interested in all aspects - theoretical
    foundations, implementation techniques, systems development and
    applications - of the mechanization of reasoning with tableaux and
    related methods.


CONFERENCE PROGRAMME

    See

      http://tableaux09.ifi.uio.no/pmwiki.php/AcceptedPapers

    for the list of accepted papers and

      http://tableaux09.ifi.uio.no/pmwiki.php/Programme

    for the conference schedule.


STUDENT SPONSORING

    Apart from significantly reduced conference fees, students have
    access to budget accommodation at a rate of about 170 EUR for the
    whole week and the week before the conference.  If necessary, we
    will be able to provide further financing help.


INVITED SPEAKERS

      * Patrick Blackburn, INRIA Nancy, France
      * Peter Jeavons, Oxford University Computing Laboratory, UK
      * Pierre Wolper, Universit de Liege, France

WORKSHOPS

    In addition to the Workshop on First-order Theorem Proving (FTP),
    there will be several workshops on Monday, 6 July:

      * Tableaux versus automata as logical decision methods
      * Proofs and Refutations in Non-Classical Logics
      * Gentzen Systems and Beyond

    See

      http://tableaux09.ifi.uio.no/pmwiki.php/Workshops

    for details about these workshops

TUTORIALS

    Two tutorials will be held on Wednesday, 8 July.

      * The Theory of Canonical Systems
        (Arnon Avron and Anna Zamansky, Tel-Aviv University, Israel)

      * LoTREC: Theory and Practice.
        Proving by Tableau becomes easier...
        (Bilal Said and Olivier Gasquet, Universit Paul Sabatier,
        Toulouse, France.)

    See

      http://tableaux09.ifi.uio.no/pmwiki.php/Tutorials

    for details about these tutorials


CONFERENCE AND PC CO-CHAIRS:

      * Martin Giese, Univ. of Oslo, Norway
      * Arild Waaler, Univ. of Oslo, Norway