| Document |
| Algebra and automated deduction - January 1998 |
| BCS FACS Christmas Workshop December 1985 - Alvey SIG Software Tools for Formal Methods - File 1 |
| BCS FACS Christmas Workshop December 1985 - Alvey SIG Software Tools for Formal Methods - File 2 |
| BCS FACS Christmas Workshop December 1985 - Alvey SIG Software Tools for Formal Methods - File 3 |
| BCS FACS Christmas Workshop December 1985 - Alvey SIG Software Tools for Formal Methods - File 4 |
| BCS FACS Christmas Workshop December 1985 - Alvey SIG Software Tools for Formal Methods - File 5 |
| BCS FACS Christmas Workshop December 1985 - Alvey SIG Software Tools for Formal Methods - File 6 |
| BCS FACS Christmas Workshop December 1985 - Alvey SIG Software Tools for Formal Methods - File 7 |
| BCS FACS Christmas Workshop December 1985 - Alvey SIG Software Tools for Formal Methods - File 8 |
| BCS FACS Christmas Workshop December 1985 - Alvey SIG Software Tools for Formal Methods - File 9 |
| BCS FACS Christmas Workshop December 1985 - Alvey SIG Software Tools for Formal Methods - Timetable |
| BCS FACS Christmas Workshop December 1986 - Classical and Non Classical Logics - Temporal logic and computer science - File 1 |
| BCS FACS Christmas Workshop December 1986 - Classical and Non Classical Logics - A Survey of Logic 1 - File 2 |
| BCS FACS Christmas Workshop December 1986 - Classical and Non Classical Logics - Constructive Logic - File 3 |
| BCS FACS Christmas Workshop December 1986 - Classical and Non Classical Logics - Non Monotonic Reasoning - File 4 |
| BCS FACS Christmas Workshop December 1986 - Classical and Non Classical Logics - Timetable |
| BCS FACS Christmas Workshop December 1987 - Abstract Algebra - File 1 |
| BCS FACS Christmas Workshop December 1987 - Abstract Algebra - File 2 |
| BCS FACS Christmas Workshop December 1987 - Abstract Algebra - File 3 |
| BCS FACS Christmas Workshop December 1987 - Abstract Algebra - File 4 |
| BCS FACS Christmas Workshop December 1987 - Abstract Algebra - File 5 |
| BCS FACS Christmas Workshop December 1987 - Abstract Algebra - Timetable |
| BCS FACS Christmas Workshop December 1988 - Automata Theoretic Models of parallelism - Mike Shields |
| BCS FACS Christmas Workshop December 1988 - X-machines - Mike Holcombe |
| BCS FACS Christmas Workshop December 1989 - Case Studies in VDM - Structuring Slides - Tim Denvir |
| BCS FACS Christmas Workshop December 1989 - Case Studies in VDM |
| BCS FACS Martin Lof - Theory of Types A Computing Scientist's Perspective - Roland Backhouse - September 1987 - File 1 |
| BCS FACS Martin Lof - Theory of Types A Computing Scientist's Perspective - Roland Backhouse - September 1987 - File 2 |
| BCS FACS Martin Lof - Theory of Types A Computing Scientist's Perspective - Roland Backhouse - September 1987 - File 3 |
| BCS FACS Martin Lof - Theory of Types A Computing Scientist's Perspective - Roland Backhouse - September 1987 - File 4 |
