5. TPHOLs 1992: Leuven, Belgium

Mathematical Logic Issues

Induction

General Modelling and Proofs

Formalizing and Modelling of Automata

Program Verification

Hardware Description Language Semantics

Hardware Verification Methodologies

Simulation in Higher Order Logic

Extended Uses of Higher Oredr Logic

maintained by Schloss Dagstuhl LZI at University of Trier