The full version of this announcement is available.
Immediately prior to Mathematics of Program Construction (MPC '95).
Full information: available via the WWW page.
Topics The course uses lectures and practical sessions to teach students how to use the Isabelle system to perform proofs in higher-order logic. Main points:
Lecturer Lawrence C Paulson, the originator of Isabelle.
Cost 650 pounds sterling (350 pounds for academics) plus accommodation.
Technical Correspondence
Lawrence C Paulson, Computer Laboratory,
Pembroke Street, Cambridge CB2 3QG, England. E-mail lcp@cl.cam.ac.uk
Administrative Correspondence
The Registration Administrator, Programme for Industry
1 Trumpington St, Cambridge CB2 1QA, England.
Tel +44 (0)1223 302233. E-mail: rjs1008@cus.cam.ac.uk