| GR/K63795/01 | VERIFYING SPECIFIED PROGRAMMES | (C) |
| GR/J85509/01 | APPLICATIONS OF A TYPE THEORY BASED PROOF ASSISTANT | (P) |
| GR/G55792/01 | CONSTRUCTIVE LOGIC AS A BASIS FOR MATHEMATICAL DEVELOPMEN OF SOFTWARE | (P) |
| GR/F07866/01 | COMPUTER ASSISTED FORMAL REASONING PROOF DEVELOPMENT FOR FORMAL SYSTEMS | (P) |
| GR/E82620/01 | COMPUTING FACILITY FOR THE LABORATORY FOR FOUNDATIONS OF COMPUTER SCIENCE | (P) |
| GR/E59134/01 | ML LANGUAGE DEVELOPMENT: MODULES, CONCURRENCY AND INTERFACING. | (C) |
| GR/E38801/01 | SYSTEMS DEVELOPMENT COORDINATION FOR THE LABORATORY FOR FOUNDATIONS OF COMPUTER SCIENCE | (P) |
| GR/D64629/01 | COMPUTER ASSISTED FORMAL RESONING: INTERACTIVE PROOF EITING | (P) |
| GR/D64612/01 | COMPUTER ASSISTED FORMAL RESONING: LOGICS AND MODULARIY | (P) |