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
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