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:
Last modified: Tue Jul 15 17:16:52 BST