[dale at cse.psu.edu: CADE-15: Induction WS (SUMMARY)]

[Fergus Henderson]

The following, which was sent to the lambda-prolog mailing list,
may perhaps be of some relevance...

-----Forwarded message from Dale Miller <dale at cse.psu.edu>-----

 From: air at cee.hw.ac.uk (Andrew Ireland)

A summary of the CADE-15 workshop on the "Automation of Proof 
by Mathematical Induction" is now available on the web:

        http://www.cee.hw.ac.uk/~dsg/cade-15-mind-ws.html

	Best regards,

		Andrew Ireland
- -- 
Andrew Ireland
Dependable Systems Group
Dept of Computing & Electrical Engineering
Heriot-Watt University
Riccarton, Edinburgh
Scotland, UK
EH14 4AS

Tel:   +44 (0)131 451 3409
Fax:   +44 (0)131 451 3327
Email: A.Ireland at hw.ac.uk
-----End of forwarded message-----

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.