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