[MD] ================================================ AMAST Links 02 03

Workshop On Theorem Proving With Analytic Tableaux And Related Methods
     castle Rheinfels, St. Goar am Rhein, Germany, May 7-10, 1995

  Full information on the WWW at URL:
http://www.uni-koblenz.de/~tab95/CallForParticipation.html
  *Topics.* Mechanisation of reasoning with tableaux and related
systems (analytic tableaux, model elimination, connection method,
sequent calculi). Covered are theoretical aspects of classical and
non-classical logics, as well as topics related to practical
implementations.  
  *Invited speakers.* Wolfgang Bibel, Ricardo Caferra.  
  *Program Committee.* Peter Baumgartner, Krysia Broda, Marcello
D'Agostino, Melvin Fitting, Ulrich Furbach, Dov Gabbay, Rajeev Gore,
Jean Goubault, Reiner H"ahnle, Ryuzo Hasegawa, Rob Johnson, Thomas
K"aufl, Reinhold Letz, Neil Murray, Ugo Moscato, Joachim Posegga,
Peter Schmitt, Camilla Schwind, Graham Wrightson.  
  *Local Arrangements.*
   Ulrich Furbach, Computer Science Institute, University of Koblenz
   Rheinau 1, 56075 Koblenz, Germany
   Fax: ++ 49 261 9119 499.  Phone: ++ 49 261 9119 433
   E-mail: tab95@informatik.uni-koblenz.de