Director Postgraduate Studies
Senior Lecturer, Department of Computing, Imperial College
Address: 180 Queen's Gate, London SW7 2BZ, U.K.
Room: HUXLEY 378
Phone: +44 (0)20 7594 8426
Email: kb``at''doc.ic.ac.uk
Fax: +44 (0)20 7581 8024
|
PhD Admissions Tutor Director Postgraduate Studies Senior Lecturer, Department of Computing, Imperial College Address: 180 Queen's Gate, London SW7 2BZ, U.K. Room: HUXLEY 378 Phone: +44 (0)20 7594 8426 Email: kb``at''doc.ic.ac.uk Fax: +44 (0)20 7581 8024 |
|
ESSLLI-2000 was in Birmingham England. I gave a foundational course entitled Proof Systems for all - A Vade Mecum. Notes and slides can be found at the ESSLLI-2000 website.
New Pandora is a teaching package for Natural Deduction. The tool implements the Boxproof method used in the book Reasoning about Programs by Broda, Eisenbach, Khoshnevisan and Vickers. Try it here: Pandora