These web pages are confidential, no information held within the pages should be distributed outwith the NuSPADE project members. The NuSPADE (CS) Notes series is the most sensitive resource stored here. The notes document new and partially formed ideas. To be effective people should feel confident to write notes without fear of their embryonic ideas being ridiculed or hijacked. In the case of Software, this is where the most current version of the proof planning "wrapper" for the SPADE Proof Checker will live. The Corpus pages document example sets, results and challenges. The remaining two resources are fairly self explanatory.

Contributions to these pages are managed by Andrew Ireland (a.ireland@hw.ac.uk).