[CB] ================================================ AMAST Links 02 06

Theorem Proving with Analytic Tableaux and Related Methods, Tableau'96
      5th International Workshop, Palermo, Italy, May 15-17, 1996

   The full version of the _First Call for Papers_ is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i06/full/AC0206CB.txt
   
  This workshop is a continuation of workshops on the same topic held
in Lautenbach near Karlsruhe (1992), Marseille (1993), Abingdon near 
Oxford (1994) and St. Goar near Koblenz (1995).
  *Topics.* Given the increased interest in tableaux-based theorem
proving, the workshop intends to bring together researchers interested
in the mechanisation of reasoning with tableaux and related systems.
Included (but not exclusively) will be: analytic tableaux; model
elimination; connection method; sequent calculi.
  The workshop has a dual focus, bringing together people who develop 
tableaux-like calculi for classical and non-classical logics and people
involved in the practical implementation of tableaux-like calculi. 
  *Submissions.* Submit papers in one of the following categories:
 1. Original research papers of at most 15 pages;
 2. Position papers or work in progress, not necessarily original, 
    up to 5 pages.
  All submissions must be in English.  Authors should send four copies,
preferably in LaTeX llncs style to:
   Ugo Moscato, Information Science Department, University of Milan
   Via Comelico 39/41, 20135 Milan, Italy.  E-mail: tab96@dsi.unimi.it
Electronic or fax submissions are not acceptable. Submissions of the 
work to other conferences or journals are not allowed.
  *Important Dates* 
   Deadline for submissions:   November 17th, 1995
   Notification of acceptance: middle of February 1996
  *Proceedings.* It is intended to publish the conference proceedings 
within the LNAI series of Springer. All accepted papers from category 
1. will be included.
  *Latest Information* regarding Tableau'96 can be found via
WWW : http://www.dsi.unimi.it/Convegni/tab96/index.html
FTP : ftp://dotto.usr.dsi.unimi.it/pub/tab96
    (149.132.120.76).