International Conference


Analytic Tableaux and Related Methods

The Inn at Saratoga, 231 Broadway
Saratoga Springs, NY USA
tel. 1-800-274-3573, fax. (518) 583-2543

June 7 - 11, 1999


This conference is a continuation of international meetings on Theorem Proving with Analytic Tableaux and Related Methods held in Lautenbach near Karlsruhe (1992), Marseille (1993), Abingdon near Oxford (1994), St. Goar near Koblenz (1995), Terrasini near Palermo (1996), Pont-à-Mousson near Nancy (1997), and Oisterwijk near Tilburg (1998). In June 1999, the conference was for the first time held in North America, at Saratoga Springs, NY. Since Tableaux'95, the proceedings have been published in Springer's LNAI series; this year's meeting is LNAI Volume 1617. TABLEAUX 2000 will be at St. Andrews in Scotland. Also, there is now a permanent web page for the TABLEAUX conference series.

This conference has the scientific and financial support of the Department of Computer Science and the Institute for Programming & Logics, the College of Arts & Sciences, and the Office for Research of the University at Albany - SUNY.

The Tableaux'99 conference will have a Comparison of theorem provers for non classical (modal) systems.
This comparison is organized by Fabio Massacci of Universita di Roma "La Sapienza" (e-mail:

Two TUTORIALS will be part of the conference program.

The proceedings will be published as LNAI Volume 1617 by Springer-Verlag.

A nicely formatted version of the Call for Papers and Tutorials is available in PostScript or in DVI for standard 8.5" x 11" paper; it is also available in PostScript or in DVI for a4 paper.




Tableau methods have been found to be 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.

Topics of interest include (but are not restricted to):


The conference will include contributed papers, tutorials, system descriptions, a poster session and invited lectures. Submissions are invited in three categories:
(A) Original research papers (up to 15 pages);
(B) Original papers on system descriptions (up to 5 pages);
(C) Tutorials in all areas of analytic tableaux and related methods from academic research to applications (proposals up to 5 pages).

Submissions in categories A and B will be reviewed by peers, typically members of the program committee. They must be unpublished and not submitted for publication elsewhere. The cover page should include the name, address, e-mail address and phone number of each author and the submission category. The conference proceedings (including accepted papers of categories A and B) will be published within the LNAI series of Springer.

Tutorial submissions (category C) may be at introductory, intermediate, or advanced levels. Novel topics and topics of broad interest are preferred. The submission should include the title, the author, the topic of the tutorial, its level, its relevance to conference topics, and a description of the interest and the scientific contents of the proposed tutorial. Tutorial proposals will be reviewed by members of the program committee.


Authors are requested to submit via email in PostScript to the Program Chair ( by December 4, 1998.

Submissions in categories A and B should preferably be in LaTeX2e llncs style, to the Program Chair by December 4, 1998: Please include, prepended in plain ascii, the names and e-mail addresses of authors, and the paper's title and abstract.

Springer is now publishing volumes in LNCS/LNAI in both printed and electronic full-text versions. Only if you use LaTeX2e and the llncs.cls class file will hyperlinks be added to your manuscript in the online version. If you do not have LaTeX2e, you may use the LaTeX style file. Authors are asked to look up the new instructions as well as more general information, under Springer's new LNCS home page. This home page is linked to Authors' Instructions for preparing LNCS/LNAI manuscripts as well as other relevant information.

Hardcopy submission is allowed for people without e-mail access.


Deadline for submissions:December 4, 1998
Notification of acceptance:February 2, 1999
Final text:March 8, 1999


P. Baumgartner (Koblenz Univ, Germany) J. Hodas (Harvey Mudd College, California, USA)
B. Beckert (U. Karlsruhe, Germany) C. Kreitz (Cornell Univ., USA)
K. Broda (Imperial College, London, UK) R. Letz (TU Munich, Germany)
R. Dyckhoff (St Andrews Univ, UK) D. Miller (Penn State Univ., USA)
A. Felty (Bell Labs, USA) U. Moscato (Milan Univ, Italy)
C. Fermüller (TU Wien, Austria) N. Murray (SUNY at Albany, USA) Program Chair
M. Fitting (CUNY, New York City, USA) N. Olivetti (Torino Univ, Italy)
U. Furbach (Koblenz Univ, Germany) J. Pitt (Imperial College, London, UK)
D. Galmiche (LORIA, Nancy, France) E. Rosenthal (Univ of New Haven, USA)
R. Goré (Austr. National Univ, Australia) P. Schmitt (Karlsruhe Univ, Germany)
J. Goubault-Larrecq (GIE Dyade, France) H. de Swart (Tilburg Univ, The Netherlands)
R. Hähnle (Karlsruhe Univ, Germany)



Conference site


Home of the oldest thoroughbred race track in the US, Saratoga Springs is a delightful village about 290 km north of New York City. For over 130 years, many legendary horses have run here: Man O'War won five times, but also suffered his only loss. Triple Crown winner Secretariat was also upset here, at the track often called the ``graveyard of favorites''. Across from the track is the National Museum of Racing and Hall of Fame. Saratoga's attractions, however, go far beyond racing.

On the site of the Saratoga Nationial Historic Park, the British forces surrendered to the Colonials on October 17, 1777 - an event considered the turning point of the American Revolution. Nineteenth century architecture is still present in Saratoga, from Gothic gables and stained glass windows to charming gazebos and gingerbread porches. Over 1000 buildings are on the National Register of Historic Places.

The beautiful Yaddo Gardens were opened in 1881; since 1922, the mansion has been preserved as a peaceful and private sanctuary for writers, poets, painters and composers. In the heart of the Saratoga Spa State Park are the Roosevelt Mineral Baths, where you may indulge yourself submerging in a deep, soothing tub of naturally carbonated spring water. The National Museum of Dance is the only museum in the US devoted exclusively to professional American dance - from ballet to Broadway, modern to jazz, ethnic to tap. Opened in 1986, the museum offers exhibits, master classes, educational programs, and conversations with visiting dancers. It is one program of the Saratoga Performing Arts Center (SPAC).

An open air theater, SPAC hosts classical presentations by the New York City Ballet, New York City Opera, and Philadelphia Orchestra. It is also the venue of about 30 contemporary events including the Newport Jazz festival and many popular bands.

Saratoga also boasts lovely downtown shopping districts with elegant boutiques. There, and in the surrounding countryside, many antique shops can be found. Sidewalk cafes, lakeside restaurants, Country Inns, and award winning restaurants and bistros suit both the gourmet and casual diner.


For any further information please contact:
Neil V. Murray (Program Chair) Joan Nellhaus (Local Arrangements)
Institute for Programming & Logics Institute for Programming & Logics
Dept. of Computer Science LI-95E Dept. of Computer Science LI-95F
University at Albany - SUNY University at Albany - SUNY
Albany, NY 12222 USA Albany, NY 12222 USA
phone: (518) 442-3393 phone: (518) 442-4265
fax: (518) 442-5638

This page is incomplete & under construction (and will probably remain so until June 1999).

Last updated April 1, 1999 (no fooling!)