Analytic Tableaux and Related Methods
June 7 - 11, 1999
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
of theorem provers
for non classical (modal) systems.
This comparison is organized by Fabio Massacci of Universita di Roma "La Sapienza" (e-mail: firstname.lastname@example.org).
Two TUTORIALS will be part of the conference program.
The proceedings will be published as LNAI Volume 1617 by Springer-Verlag.
PROGRAM SCHEDULE REGISTRATION
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):
|analytic tableaux for various logics (theory and applications)|
|related techniques and concepts, e.g., model checking and BDD's|
|related methods (model elimination, sequent calculi, connection method, ...)|
|new calculi and methods for theorem proving in classical and non-classical logics (modal, intuitionistic, linear, temporal, ...)|
|systems, tools, implementations and applications (e.g., verification)|
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 (email@example.com) 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: firstname.lastname@example.org. 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)|
The program consists of:
2 invited talks;
a comparison of theorem provers for non classical (modal) systems;
18 talks presenting original research papers (category A);
3 talks presenting original system descriptions (category B);
9 talks presenting position papers.
|Before May 18, 1999||After May 18, 1999|
|Registration fee (student)||$130||$130|
|Tutorial fee (regular)||$30||$30|
|Tutorial fee (student)||free||free|
Accommodation fee: $70/night (Mon. - Th.) Extra Banquet Tickets: $38 each.
The accommodation fee is a special per room rate for conference attendees (1 or 2 persons) at the Conference Hotel during the conference. Other nights are at the regular rate of $90.
The registration fee includes the admission to the entire conference program, a copy of the Proceedings of the conference in the LNAI series of Springer, tea or coffee in the breaks, the welcome reception at the Inn at Saratoga, breakfast and lunch Tuesday through Friday, and the conference banquet.
The tutorial fee will help cover costs of materials including duplication.
SARATOGA SPRINGS, NY USA
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.
|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!)