The UK Institute of Informatics

Previous Courses:

• The EEF Foundations School in Deduction and Theorem Proving 2000.
• The EEF School on Logic and Computation 1999.

Back to Courses

Back to Main