LEGO Club Seminars

The LEGO Project is organizing several seminars on computer-aided formal reasoning, to take place on Thursday 17 July 1997, from 14.00 to 17.00 in JCMB room 2511. All are welcome to attend.

The schedule will be as follows:

Healfdene Goguen
Last modified: Tue Jul 15 17:16:52 BST