Contributions offered by Andrew Pitts for topic
D (verification methods)

Theme D organizer

I scheduled to give a 90 minute tutorial in PLILP/ALP at 2pm on Thurs
17 Sep which will cover much of what I might say concerning Theme D.  

--------------------------------------------------------------
Result of feedback form submitted by
Pitts (ap@cl.cam.ac.uk) on Tuesday, July 7, 1998 at 10:42:02