Renate Schmidt

My new address: Department of Computing and Mathematics, Manchester Metropolitan University, Chester St., Manchester M1 5GD, UK.

John Dalton Building, Room: E109.

Tel: (+44 161) 247 1490, Fax: (+44 161) 247 1483.

Research Group: Logic and Computation.

Email: R.A.Schmidt@doc.mmu.ac.uk

Previously: MPI für Informatik, Im Stadtwald, 66123 Saarbrücken, Germany.

Bldg: 46.1, Room: 626.

Tel: (+49 681) 9325 226, Fax: (+49 681) 9325 299.

Research Group: Logic of Programming (AG2).

Email: schmidt@mpi-sb.mpg.de

Research interests: My general interests are applied logic and logic engineering. More specific topics of interest include modal logic, modal theorem proving, translation methods to first-order logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.