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:

14.00 - 14.50. James Molony, Using LEGO to formalise proof-theoretic symmetry arguments.
14.50 - 15.40. Shenwei Yu and Zhaohui Luo, Implementing a model checker for LEGO.
15.40 - 16.10. Tea break.
16.10 - 17.00. Healfdene Goguen, An abstract formulation of memory management.

Healfdene Goguen

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