1 december 2000, SYMPOSIUM on TABLEAU METHODS, Technical University of Eindhoven

1 december 2000, SYMPOSIUM on TABLEAU METHODS, Technical University of Eindhoven
Date: Friday, December 1
Location: Technical University of Eindhoven,Auditorium, room 14

Tableau methods are convenient and effective for automating deduction, not just in classical logic but also in various non-standard logics. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and system diagnosis In connection with the publication of the handbook of Tableau Methods (Kluwer, 1999) the TUE-KUB research group on Logic and Informationsystems organizes this one-day symposium. Four of the authors of the handbook will elaborate on the chapters they have written.

PROGRAM:
10.45 - 11.45 Marcello D'Agostino (Ferrara), Tableaux methods for classical propositional logics
12.00 - 13.00 Reinhold Letz (Muenchen), First-order Tableau Methods
13.00 - 14.15 lunch
14.15 - 15.15 Bernhard Beckert (Karlsruhe), Equality and other theories
15.30 - 16.30 Joachim Posegga (Darmstadt) / Peter Schmitt (Karlsruhe), Implementing Semantic Tableaux

Participation, including lunch, is free. However, in order to be able to organize lunch adequately, one is requested to register at the following address: sobu@kub.nl. Further information can be obtained at the following address: H.C.M.deSwart@kub.nl