[FOM] Tableaux 2009: Call for Participation

[Viorica Sofronie-Stokkermans]

            %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
            %%                                            %%
            %%          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