The UK Institute of Informatics

Previous Events:

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

Back to Events

Back to Main